Visual programming: perspectives and approaches
IBM Systems Journal
Visual programming: perspectives and approaches
IBM Systems Journal
Synthesizing State-Based Object Systems from LSC Specifications
CIAA '00 Revised Papers from the 5th International Conference on Implementation and Application of Automata
Towards an Abstract Language for Dynamic Modeling in Object-Oriented Design
TOOLS '97 Proceedings of the Tools-23: Technology of Object-Oriented Languages and Systems
From Live Sequence Charts to State Machines and Back: A Guided Tour
IEEE Transactions on Software Engineering
Synthesis of system state models
ACM SIGPLAN Notices
Applications of exemplary programming
AFIPS '80 Proceedings of the May 19-22, 1980, national computer conference
Algorithms and Architectures of Artificial Intelligence
Proceedings of the 2007 conference on Algorithms and Architectures of Artificial Intelligence
PAPE: an on-line system for infering procedures from sets of their traces
IJCAI'81 Proceedings of the 7th international joint conference on Artificial intelligence - Volume 2
A system which synthesizes array-manipulating programs from specifications
IJCAI'79 Proceedings of the 6th international joint conference on Artificial intelligence - Volume 1
Inference of regular languages using state merging algorithms with search
Pattern Recognition
Learning with kernels and logical representations
Probabilistic inductive logic programming
Inferring formal software specifications from episodic descriptions
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Inferring formal software specifications from episodic descriptions
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
A framework for the competitive evaluation of model inference techniques
Proceedings of the First International Workshop on Model Inference In Testing
Incrementally discovering testable specifications from program executions
FMCO'09 Proceedings of the 8th international conference on Formal methods for components and objects
An approach for reversely generating hierarchical UML statechart diagrams
FSKD'06 Proceedings of the Third international conference on Fuzzy Systems and Knowledge Discovery
Synthesis revisited: generating statechart models from scenario-based requirements
Formal Methods in Software and Systems Modeling
Synthesis of Open Reactive Systems from Scenario-Based Specifications
Fundamenta Informaticae - Application of Concurrency to System Design (ACSD'03)
Inductive Logic Programming and Embodied Agents: Possibilities and Limitations
International Journal of Agent Technologies and Systems
Empirical Software Engineering
| Hi-index | 0.00 |
An autoprogrammer is an interactive computer programming system which automatically constructs computer programs from example computations executed by the user. The example calculations are done in a scratch pad fashion at a computer display using a light pen or other graphic input device, and the system stores a detailed history of all of the steps executed in the process. Then the system automatically synthesizes the shortest possible program which is capable of executing the observed examples. The paper describes the computational environment provided by the system, proves that the program synthesis technique is both "sound" and "complete," describes the design of the system, and gives some programs it was used to create.