Automatic programming for streams. II. Transformation implementation

6 January 2003

conference paper
Published by Institute of Electrical and Electronics Engineers (IEEE)

p. 439-447
https://doi.org/10.1109/icse.1988.93724

Abstract

For pt.I see ISCAI p.232-237, Los Angeles, USA, (August 1985). Phi NIX is an automatic programming system for writing programs which interact with external devices through temporally-ordered streams of values. Abstract specifications are stated in terms of constrains on the values of input and output streams. The target language is the Stream Machine, a language which includes concurrently executing processes communicating and synchronizing through streams. Phi NIX produces programs by repeatedly transforming abstract specifications through successively more concrete forms until concrete Stream Machine programs are produced. An example which Phi NIX has successfully implemented involves three major steps: transforming the specification into an applicative expression, transforming the applicative expression into three imperative processes, and merging the processes into a single process. Each major step involves several other transformation steps that reformulate and simplify intermediate expressions.

Keywords

This publication has 7 references indexed in Scilit:

Automatic programming for streams. II. Transformation implementation
Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
Research on Knowledge-Based Software Environments at Kestrel Institute
IEEE Transactions on Software Engineering, 1985
Domain-Specific Automatic Programming
IEEE Transactions on Software Engineering, 1985
A 15 Year Perspective on Automatic Programming
IEEE Transactions on Software Engineering, 1985
Expressional loops
Published by Association for Computing Machinery (ACM) ,1984
Program developments
Communications of the ACM, 1983
The Refinement Paradigm: The Interaction of Coding and Efficiency Knowledge in Program Synthesis
IEEE Transactions on Software Engineering, 1981