LUCID, the dataflow programming language
LUCID, the dataflow programming language
A 15 Year Perspective on Automatic Programming
IEEE Transactions on Software Engineering - Special issue on artificial intelligence and software engineering
Research on Knowledge-Based Software Environments at Kestrel Institute
IEEE Transactions on Software Engineering - Special issue on artificial intelligence and software engineering
Domain-Specific Automatic Programming
IEEE Transactions on Software Engineering - Special issue on artificial intelligence and software engineering
Readings in artificial intelligence and software engineering
Readings in artificial intelligence and software engineering
Program developments: formal explanations of implementations
Readings in artificial intelligence and software engineering
The stream machine: a data flow architecture for real-time applications
ICSE '85 Proceedings of the 8th international conference on Software engineering
Automatic Program Construction Techniques
Automatic Program Construction Techniques
Interactive Programming Environments
Interactive Programming Environments
Algorithmic Language and Program Development
Algorithmic Language and Program Development
The Future of Applicative Programming
Proceedings of the 3rd Conference of the European Cooperation in Informatics on Trends in Information Processing Systems
POPL '84 Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
KIDS: A Semiautomatic Program Development System
IEEE Transactions on Software Engineering
A Logic-Based Transformation System
IEEE Transactions on Knowledge and Data Engineering
Interactive Problem Solving Using Task Configuration and Control
IEEE Expert: Intelligent Systems and Their Applications
| Hi-index | 0.00 |
&PHgr;NIX is an automatic programming system, now under development, for writing programs which interact with external devices through temporally-ordered streams of values. Abstract specifications are stated in terms of constraints 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. &PHgr;NIX produces programs by repeatedly transforming abstract specifications through successively more concrete forms until concrete Stream Machine programs are produced. An example which &PHgr;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.