Principles and Pragmatics of Subtyping in PVS
- 1 January 2000
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Should your specification language be typedACM Transactions on Programming Languages and Systems, 1999
- Casl: A Guided Tour of Its DesignPublished by Springer Science and Business Media LLC ,1999
- Subtypes for specifications: predicate subtyping in PVSIEEE Transactions on Software Engineering, 1998
- A comparison of PVS and Isabelle/HOLPublished by Springer Science and Business Media LLC ,1998
- Formal verification for fault-tolerant architectures: prolegomena to the design of PVSIEEE Transactions on Software Engineering, 1995
- IsabellePublished by Springer Science and Business Media LLC ,1994
- Principles of OBJ2Published by Association for Computing Machinery (ACM) ,1985
- A formulation of the simple theory of typesThe Journal of Symbolic Logic, 1940