WorldCat Identities

Hintermeier, Claus

Overview
Works: 8 works in 17 publications in 3 languages and 23 library holdings
Roles: Author
Publication Timeline
.
Most widely held works by Claus Hintermeier
Lopster: Sprachdefinition : Version 1.1 ( Book )
2 editions published in 1991 in German and held by 11 WorldCat member libraries worldwide
Deduction avec sortes ordonnees et egalites by Claus Hintermeier( Book )
4 editions published in 1995 in French and held by 3 WorldCat member libraries worldwide
Cette thèse est dédiée au développement de langages de spécification formels, de leur sémantique opérationnelle sous forme de systèmes de réécriture décorés et des outils de preuves associés. Nous définissons les logiques Rn et Gn, qui sont des logiques à clauses de Horn égalitaires avec prédicat d'appartenance, adaptées à la spécification et à la programmation polymorphique d'ordre supérieur avec sous-typage dynamique et paramétrique, des fonctions strictes et partielles et une sémantique initiale basée sur la théorie des ensembles. Puis, nous introduisons les termes décorés, qui représentent une structure de données bien adaptées aux spécifications et programmes équationnels typés. Ils permettent d'intégrer le raisonnement égalitaire, les fonctions partielles et le typage dynamique de termes
Combining algebraic and set-theoretic specifications (extended version) by Claus Hintermeier( Book )
4 editions published in 1996 in English and held by 3 WorldCat member libraries worldwide
Rn- and Gn-Logics by Claus Hintermeier( Book )
3 editions published in 1996 in English and held by 2 WorldCat member libraries worldwide
BRICS report series. R↑n- and G↑n-logics ( )
in English and held by 1 WorldCat member library worldwide
Dynamically-typed computations for order-sorted equational presentations by Claus Hintermeier( Book )
1 edition published in 1994 in English and held by 1 WorldCat member library worldwide
Lopster : Sprachdefinition by C Hintermeier( Book )
1 edition published in 1991 in Undetermined and held by 1 WorldCat member library worldwide
R^n and G^n Logics ( Book )
1 edition published in 1996 in English and held by 1 WorldCat member library worldwide
 
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.21 (from 0.00 for Deduction ... to 1.00 for Dynamicall ...)
Languages
English (10)
French (4)
German (2)