H ? « ‹ ← → › »

Language peer sets for Isabelle/HOL:
United Kingdom↑
United Kingdom/1997↑
Designed 1997 ↑
1990s languages ↑
Internet↑
New internationlism↑

Isabelle/HOL(ID:3690/isa005)

alternate simple view
Country: United Kingdom
Designed 1997

Combination of Isabelle and HOL
Related languages
HOL → Isabelle/HOL   Derivation of
Isabelle → Isabelle/HOL   Adaptation of
Isabelle/HOL → µJava   Derivation of
References:
  • Naraschewski, W. and Nipkow, T. (1997) Naraschewski, W. and Nipkow, T. "Type inference verified: Algorithm W in Isabelle/HOL"
          in Paulin-Mohring, C. (1997) Paulin-Mohring, C. [ed], Proc. Int. Workshop TYPES'96, LNCS 1XXX Springer, 1997.
  • T. Nipkow and L. Paulson. (1997) T. Nipkow and L. Paulson. "Isabelle/HOL tutorial". online
          in Paulin-Mohring, C. (1997) Paulin-Mohring, C. [ed], Proc. Int. Workshop TYPES'96, LNCS 1XXX Springer, 1997.
  • Tobias Nipkow, Lawrence C. Paulson, and Markus Wen (1997) Tobias Nipkow, Lawrence C. Paulson, and Markus Wenzel "Isabelle's Logics: HOL" pdf
          in Paulin-Mohring, C. (1997) Paulin-Mohring, C. [ed], Proc. Int. Workshop TYPES'96, LNCS 1XXX Springer, 1997.
  • Jacques D. Fleuriot (2000) Jacques D. Fleuriot "On the Mechanization of Real Analysis in Isabelle/{HOL}", in "Theorem Proving in Higher Order Logics", 2000
          in Paulin-Mohring, C. (1997) Paulin-Mohring, C. [ed], Proc. Int. Workshop TYPES'96, LNCS 1XXX Springer, 1997.
  • Stefan Berghofer and Tobias Nipkow (2000) Stefan Berghofer and Tobias Nipkow "Executing Higher Order Logic", in TYPES pp 24-40 2000
          in Paulin-Mohring, C. (1997) Paulin-Mohring, C. [ed], Proc. Int. Workshop TYPES'96, LNCS 1XXX Springer, 1997.
  • Smith, G., Kammuller, F., and Santen, T. (2002) Smith, G., Kammuller, F., and Santen, T. "Encoding Object-Z in Isabelle/HOL" pp82-99
          in (2002) ZB 2002: Formal Specification and Development in Z and B, LNCS 2272 Springer, 2002
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder