Structural Synthesis of Programs Using Regular Data Structures

Structural Synthesis of Programs Using Regular Data Structures

Mait Harf

In 6th NWPT, pages 194-202

Abstract:

This paper discusses a specific feature of structural synthesis of programs. Using regular data structures enables to optimize the method of structural synthesis of programs for several particular cases. The method for program construction described here is implemented in the NUT programming system.

Comments
Dept. of Computer Software, Institute of Cybernetics, Akadeemia tee 21, EE 0026 Tallinn, Estonia. Email: mait@cs.ioc.ee.

Available as PostScript.


[BRICS symbol] BRICS WWW home page