Generating Programs plus Proofs by Refinement Douglas R. Smith Kestrel Institute, Palo Alto, CaliforniaUSA 1

First Page		Document Content
Date: 2012-08-02 20:27:15 Formal methods Computing Software engineering Theoretical computer science Specification language Refinement Abstract state machines Domain-specific language Specification Programming language Integrated circuit design Formal specification		Generating Programs plus Proofs by Refinement Douglas R. Smith Kestrel Institute, Palo Alto, CaliforniaUSA 1 Add to Reading List Source URL: www.kestrel.edu Download Document from Source Website File Size: 95,13 KB Share Document on Facebook

	SPECIFICATION AND DEVELOPMENT OF PARALLEL ALGORITHMS WITH THE PROTEUS SYSTEM ALLEN GOLDBERG, PETER MILLS, LARS NYLAND, JAN PRINS, JOHN REIF, AND JAMES RIELY Abstract. The Proteus language is a wide-spectrum parallel prog DocID: 1xT6C - View Document
	Requirements for a Specification Language for Data and Information Flow, and A Literature Review of Analytical and Constructive Research on the Java Native Interface DocID: 1v2Bk - View Document
	Physiological Hierarchy Markup Language (PHML) Language Specification Version 1.0 Table of Contents DocID: 1v0H0 - View Document
	Modelica® - A Unified Object-Oriented Language for Systems Modeling Language Specification Version 3.4 April 10, 2017 Abstract DocID: 1v03q - View Document
	ModelicaTM - A Unified Object-Oriented Language for Physical Systems Modeling LANGUAGE SPECIFICATION Version 1.3 December 15, 1999 ModelicaTM is a trademark of the "Modelica Design Group". DocID: 1uYS8 - View Document