Proving Theorems about LISP Functions
Journal of the ACM (JACM)
A Transformation System for Developing Recursive Programs
Journal of the ACM (JACM)
Abstract data types and the development of data structures
Communications of the ACM
An analysis of algorithms for the Dutch National Flag Problem
Communications of the ACM
Symbolic execution and program testing
Communications of the ACM
A proposed system for structured programming
Programming Symposium, Proceedings Colloque sur la Programmation
SELECT—a formal system for testing and debugging programs by symbolic execution
Proceedings of the international conference on Reliable software
The application of a symbolic mathematical system to program verification
ACM '74 Proceedings of the 1974 annual conference - Volume 1
Report on the programming language Euclid
ACM SIGPLAN Notices
Path feasibility, linear optimizers and the evaluate standard form
ACM SIGPLAN Notices
Using symbolic execution for verifying safety-critical systems
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
An interactive integrated system to design and use data bases
Proceedings of the 1980 workshop on Data abstraction, databases and conceptual modeling
DUAL: An interactive tool for developing documented programs by step-wise refinements.
ICSE '82 Proceedings of the 6th international conference on Software engineering
Probabilistic analysis of algorithms for the Dutch national flag problem
Theoretical Computer Science
| Hi-index | 0.00 |
The paper describes an interactive programming system which provides an integrated collection of tools for dealing with the whole process of program development. The pivot tool, the symbolic interpreter, may cover a broad range of applications, from testing to correctness Proving. The aspects in which the symbolic interpreter differs from a conventional interpreter, i.e. the possibility of handling nondeterministic branching at choice points and the presence of a system for manipulating symbolic expressions, are described. Furthermore, the main features of a programming language, around which the programming system is built, are presented.