Jacques Loeckx

Jacques Loeckx, Hans-Dieter Ehrich, Markus Wolf: Specification of abstract data types. Wiley 1996, isbn 978-0-471-95067-7, pp. I-XI, 1-360

Jacques Loeckx, Jörg Zeyer: Experiences with a Specification Environment. KORSO Book 1995: 255-269

Thomas Lehmann, Jacques Loeckx: OBSCURE: A Specification Language for Abstract Data Types. Acta Inf. 30(4): 303-350 (1993)

Heinrich Hußmann, Jacques Loeckx, Wolfgang Reif: KORSO: Das Verbundprojekt "Korrekte Software". GI Jahrestagung 1993: 266-271

Jacques Loeckx: The Specification System OBSCURE. Bulletin of the EATCS 40: 168-171 (1990)

Jacques Loeckx, Kurt Mehlhorn, Reinhard Wilhelm: Foundations of Programming Languages. John Wiley 1989, isbn 0-471-92139-4

Jacques Loeckx, Annette Hoffmann: Verification in OBSCURE. ADT 1988

Jacques Loeckx, Joachim Philippi: Das OBSCURE-Projekt. Innovative Informations-Infrastrukturen 1988: 132-145

Jacques Loeckx: Algorithmic Specifications: A Constructive Specification Method for Abstract Data Types. ACM Trans. Program. Lang. Syst. 9(4): 646-685 (1987)

Thomas Lehmann, Jacques Loeckx: The Specification Language of OBSCURE. ADT 1987: 131-153

Jacques Loeckx, Kurt Mehlhorn, Reinhard Wilhelm: Grundlagen der Programmiersprachen. Teubner 1986, isbn 3-519-02254-0

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)

Jacques Loeckx: The Specification Language OBSCURE. ADT 1986

Jacques Loeckx: The algorithmic specification method of abstract data types: an overview. Mathematical Methods of Specification and Synthesis of Software Systems 1985: 194-200

Claus-Werner Lermen, Jacques Loeckx: OBSCURE, A New Specification Language. ADT 1984: 28-30

Jacques Loeckx: Program Verification with fewer Tears. ADT 1983

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

Jacques Loeckx: Implementations of Abstract Data Types and Their Verifaction. GI Jahrestagung 1981: 96-108

Jacques Loeckx: Algorithmic Specifications of Abstract Data Types. ICALP 1981: 129-147

Jacques Loeckx, Ingrid Glasner: A calculus for proving properties of while-programs. Mathematical Studies of Information Processing 1978: 252-281

Jacques Loeckx: Formale Korrecktheitsbeweise für While-Programme. Theoretical Computer Science 1977: 190-207

Jacques Loeckx (Ed.): Automata, Languages and Programming, 2nd Colloquium, University of Saarbrücken, July 29 - August 2, 1974, Proceedings. Lecture Notes in Computer Science 14, Springer 1974, isbn 3-540-06841-4

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)

Jacques Loeckx: The Parsing for General Phrase-Structure Grammars. Information and Control 16(5): 443-464 (1970)