dblp.uni-trier.dewww.uni-trier.de

Jacques Loeckx Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*1995
23 Jacques Loeckx, Jörg Zeyer: Experiences with a Specification Environment. KORSO Book 1995: 255-269
1993
22 Heinrich Hußmann, Jacques Loeckx, Wolfgang Reif: KORSO: Das Verbundprojekt "Korrekte Software". GI Jahrestagung 1993: 266-271
21 Thomas Lehmann, Jacques Loeckx: OBSCURE: A Specification Language for Abstract Data Types. Acta Inf. 30(4): 303-350 (1993)
1990
20 Jacques Loeckx: The Specification System OBSCURE. Bulletin of the EATCS 40: 168-171 (1990)
1989
19EEJacques Loeckx, Kurt Mehlhorn, Reinhard Wilhelm: Foundations of Programming Languages John Wiley 1989
1988
18 Jacques Loeckx, Annette Hoffmann: Verification in OBSCURE. ADT 1988
17 Jacques Loeckx, Joachim Philippi: Das OBSCURE-Projekt. Innovative Informations-Infrastrukturen 1988: 132-145
1987
16 Thomas Lehmann, Jacques Loeckx: The Specification Language of OBSCURE. ADT 1987: 131-153
15EEJacques Loeckx: Algorithmic Specifications: A Constructive Specification Method for Abstract Data Types. ACM Trans. Program. Lang. Syst. 9(4): 646-685 (1987)
1986
14EEJacques Loeckx, Kurt Mehlhorn, Reinhard Wilhelm: Grundlagen der Programmiersprachen Teubner 1986
13 Jacques Loeckx: The Specification Language OBSCURE. ADT 1986
12 Hartmut Ehrig, Jacques Loeckx, Bernd Mahr: A remark on the equational calculus for many-sorted algebras with possibly empty carrier sets. Bulletin of the EATCS 30: 61-65 (1986)
1985
11 Jacques Loeckx: The algorithmic specification method of abstract data types: an overview. Mathematical Methods of Specification and Synthesis of Software Systems 1985: 194-200
1984
10 Claus-Werner Lermen, Jacques Loeckx: OBSCURE, A New Specification Language. ADT 1984: 28-30
1983
9 Jacques Loeckx: Program Verification with fewer Tears. ADT 1983
1982
8 Jacques Loeckx: The Description of Programming Languages and the Verification of their Compilers with the Help of Algorithmic Specifications of Abstract Data Types. ADT 1982
1981
7 Jacques Loeckx: Implementations of Abstract Data Types and Their Verifaction. GI Jahrestagung 1981: 96-108
6EEJacques Loeckx: Algorithmic Specifications of Abstract Data Types. ICALP 1981: 129-147
1978
5 Jacques Loeckx, Ingrid Glasner: A calculus for proving properties of while-programs. Mathematical Studies of Information Processing 1978: 252-281
1977
4 Jacques Loeckx: Formale Korrecktheitsbeweise für While-Programme. Theoretical Computer Science 1977: 190-207
1974
3 Jacques Loeckx: Automata, Languages and Programming, 2nd Colloquium, University of Saarbrücken, July 29 - August 2, 1974, Proceedings Springer 1974
1972
2 Jürgen Eickel, Jacques Loeckx: The Relation Between Derivations and Syntactical Structures in Phrase-Structure Grammars. J. Comput. Syst. Sci. 6(3): 267-282 (1972)
1970
1 Jacques Loeckx: The Parsing for General Phrase-Structure Grammars Information and Control 16(5): 443-464 (1970)

Coauthor Index

1Hartmut Ehrig [12]
2Jürgen Eickel [2]
3Ingrid Glasner [5]
4Annette Hoffmann [18]
5Heinrich Hußmann (Heinrich Hussmann) [22]
6Thomas Lehmann [16] [21]
7Claus-Werner Lermen [10]
8Bernd Mahr [12]
9Kurt Mehlhorn [14] [19]
10Joachim Philippi [17]
11Wolfgang Reif [22]
12Reinhard Wilhelm [14] [19]
13Jörg Zeyer [23]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)