Faithfulness of the VLISP Operational Semantics William M. Farmer Joshua D. Guttman John D. Ramsdell - Guttman - Document - PDFSEARCH.IO

First Page	Meta Content
	Faithfulness of the VLISP Operational Semantics William M. Farmer Joshua D. Guttman John D. Ramsdell Add to Reading List Document Date: 2010-10-22 08:04:41 Open Document File Size: 281,79 KB Share Result on Facebook Company Rome Laboratories / The MITRE Corporation / / Organization United States Air Force / / Person Leonard G. Monk Vipin Swarup / / Position Farmer / interpreter / / Technology dom / virtual machine / / SocialTag Applied mathematics Denotational semantics Operational semantics Theoretical computer science Logic in computer science Programming language semantics

Faithfulness of the VLISP Operational Semantics William M. Farmer Joshua D. Guttman John D. RamsdellAdd to Reading List