Operational specification as the basis for rapid prototyping

Publisher Website

19 April 1982

journal article
Published by Association for Computing Machinery (ACM) in ACM SIGSOFT Software Engineering Notes

Vol. 7 (5) , 3-16
https://doi.org/10.1145/1006258.1006261

Abstract

No abstract available

This publication has 6 references indexed in Scilit:

Using symbolic execution to characterize behavior
Published by Association for Computing Machinery (ACM) ,1982
Mappings for rapid prototyping
Published by Association for Computing Machinery (ACM) ,1982
Database abstractions
ACM Transactions on Database Systems, 1977
The denotational semantics of programming languages
Communications of the ACM, 1976
Guarded commands, nondeterminacy and formal derivation of programs
Communications of the ACM, 1975
New Programming Languages for Artificial Intelligence Research
ACM Computing Surveys, 1974