Technical Report CSL-97-2R August 1997, Revised March 1999 The Formal Semantics of PVS1 Sam Owre [removed] - Prototype Verification System - Document - PDFSEARCH.IO

First Page	Meta Content
	Technical Report CSL-97-2R August 1997, Revised March 1999 The Formal Semantics of PVS1 Sam Owre [removed] Add to Reading List Document Date: 2015-01-13 22:35:40 Open Document File Size: 468,44 KB Share Result on Facebook Company SRI International / / / IndustryTerm computational systems / software systems / / Organization USA Computer Science Laboratory / / Person Sam Owre / / / Product Prototype Verification System / / ProgrammingLanguage Ada / ML / / Technology dom / / URL http / SocialTag Model theory Type theory Predicate logic Semantics Data types Prototype Verification System Simply typed lambda calculus First-order logic Type system Logic

Technical Report CSL-97-2R August 1997, Revised March 1999 The Formal Semantics of PVS1 Sam Owre [removed]Add to Reading List