LCS Publication Details
Publication Title: FORMAL PROPERTIES OF WELL-FORMED DATA FLOW SCHEMAS
Publication Author: Leung, Clement Kin Cho
Additional Authors:
LCS Document Number: MIT-LCS-TM-066
Publication Date: 6-1-1975
LCS Group: No Group Specified
Additional URL: No URL Given
Abstract:
This thesis presents some results in comparative schematology and some undecidability results for two models of computer programs: the class of flowchart schemas and the class of well-formed data flow schemas (wfdfs's). Algorithms are given for translating a schema in each class into an equivalent schema in the other class.
To obtain this publication:

    To purchase a printed copy of this publication please contact MIT Document Services.