 | 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 |
|---|
| 19 |  | Jacques 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 |
| 15 | | Jacques Loeckx:
Algorithmic Specifications: A Constructive Specification Method for Abstract Data Types.
ACM Trans. Program. Lang. Syst. 9(4): 646-685 (1987) |
| 1986 |
|---|
| 14 | | Jacques 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 |
| 6 | | Jacques 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) |
