Turning inductive into equational specifications

by Stefan Berghofer , Lukas Bulwahn , Florian Haftmann , Technische Universität München
Citations:8 - 6 self

Documents Related by Co-Citation

18 Code generation via higher-order rewrite systems – F Haftmann, T Nipkow - 2010
724 M.: Isabelle/HOL - A Proof Assistant for HigherOrder Logic – T Nipkow, L C Paulson, Wenzel - 2002
17 Imperative functional programming with isabelle/hol – Lukas Bulwahn, Er Krauss, Florian Haftmann, Levent Erkök, John Matthews, Technische Universität München - 2008
21 Certification of termination proofs using CeTA – René Thiemann, Christian Sternagel - 2009
101 An overview of the Scala programming language – Martin Odersky, Stéphane Micheloud, Nikolay Mihaylov, Michel Schinz, Erik Stenman, Matthias Zenger, et al. - 2004
7 The Isabelle/Isar Reference Manual. http://isabelle.in.tum.de/doc/isar-ref.pdf – Makarius Wenzel
5 A Compiled Implementation of Normalization by Evaluation – Klaus Aehlig, Florian Haftmann, Tobias Nipkow
4 et al. The Objective Caml system – Documentation and user’s manual. http://caml.inria.fr/pub/docs/manual-ocaml – Xavier Leroy
2 Tutorial to Locales and Locale Interpretation. http://isabelle.in.tum.de/doc/locales.pdf – Clemens Ballarin
1565 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
56 et al. The Haskell 98 language and libraries: The revised report – S Peyton Jones - 2003
50 Executing higher order logic – Stefan Berghofer, Tobias Nipkow, Technische Universität München - 2002
210 Termination of Term Rewriting Using Dependency Pairs – Thomas Arts, Jürgen Giesl - 2000
8 Partial and nested recursive function definitions in higher-order logic – A Krauss
114 On proving term rewrite systems are noetherian – D Lankford - 1979
90 AProVE 1.2: Automatic Termination Proofs in the Dependency Pair Framework – Jürgen Giesl, Peter Schneider-kamp, René Thiemann - 2006
40 Automatic Generation of Mode Declarations for Prolog Programs (draft – C S Mellish - 1981
16 Mode Analysis Domains for Typed Logic Programs – Jan Georg Smaus, Patricia M. Hill, Andy King - 2000
38 Adding equations to NU-Prolog – Lee Naish - 1991