Searching for "Abstract Theories in HOL." – sorted by Relevance.
7 documents found, showing 1 through 7.
-
Implementing a Real-Time Process Algebra in HOL
- …. In this paper, we discuss how to use abstract theories in HOL to develop a real-time process algebra. The axioms…
- Add To MetaCart
-
A Theory of Generic Interpreters
- … not explicitly support abstract theories; however, HOL's metalanguage, ML, combined with higher--order logic…
- Cited by 13 (4 self) – Add To MetaCart
-
Specification of the IEEE-854 Floating-Point Standard in HOL and PVS
- … to decision procedures). 5.1 Theories and abstract theories The HOL system does not explicitly support…
- Cited by 13 (1 self) – Add To MetaCart
-
Merging HOL with Set Theory -- preliminary experiments
- … partially-implemented mechanism for translating `abstract' HOL theories to definitional set…
- Cited by 11 (2 self) – Add To MetaCart
-
ffl Large Projects
- ….00-15.00 The Implementation and Use of Abstract Theories in HOL Elsa L. Gunter AT&T Bell Laboratories What do we want from…
- Add To MetaCart
-
Object-Oriented Verification based on Record Subtyping in Higher-Order Logic
- … in general mathematical modeling. We will hint at these by an example of simple abstract algebra. Taking HOL…
- Cited by 28 (7 self) – Add To MetaCart
-
Locales: A sectioning concept for Isabelle
- …] describes abstract theories for HOL [GM93]. They are more adequate than classical modules, but do not offer…
- Cited by 23 (11 self) – Add To MetaCart
Showing 1 through 7.
