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 WWW home page