Rapid prototyping by means of abstract module specifications written as trace axioms

This publication has 8 references indexed in Scilit:

• Abstract types defined as classes of variables
  Published by Association for Computing Machinery (ACM) ,1976
• Abstract data types and the development of data structures
  Published by Association for Computing Machinery (ACM) ,1976
• Guarded commands, nondeterminacy and formal derivation of programs
  Communications of the ACM, 1975
• The design of the virtual memory aspects of a virtual machine
  Published by Association for Computing Machinery (ACM) ,1973
• On the criteria to be used in decomposing systems into modules
  Communications of the ACM, 1972
• A technique for software module specification with examples
  Communications of the ACM, 1972
• On the Criteria to Be Used in Decomposing Systems into Modules
  Published by Defense Technical Information Center (DTIC) ,1971
• An axiomatic basis for computer programming
  Communications of the ACM, 1969