The Isabelle Collections Framework
- 1 January 2010
- conference paper
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableThis publication has 3 references indexed in Scilit:
- Imperative Functional Programming with Isabelle/HOLLecture Notes in Computer Science, 2008
- Interpretation of Locales in Isabelle: Theories and Proof ContextsLecture Notes in Computer Science, 2006
- An industrial strength theorem prover for a logic based on Common LispIEEE Transactions on Software Engineering, 1997