Jacques Loeckx

Publication Activity (10 Years)

Years Active: 1970-1993
Publications (10 Years): 0

Publications

Heinrich Hußmann, Jacques Loeckx, Wolfgang Reif
KORSO: Das Verbundprojekt "Korrekte Software". GI Jahrestagung (1993)
Thomas Lehmann, Jacques Loeckx
OBSCURE: A Specification Language for Abstract Data Types. Acta Informatica 30 (4) (1993)
Jacques Loeckx
The Specification System OBSCURE. Bull. EATCS 40 (1990)
Jacques Loeckx, Joachim Philippi
Das OBSCURE-Projekt. Innovative Informations-Infrastrukturen (1988)
Jacques Loeckx, Annette Hoffmann
Verification in OBSCURE. ADT (1988)
Jacques Loeckx
Algorithmic Specifications: A Constructive Specification Method for Abstract Data Types. ACM Trans. Program. Lang. Syst. 9 (4) (1987)
Thomas Lehmann, Jacques Loeckx
The Specification Language of OBSCURE. ADT (1987)
Hartmut Ehrig, Jacques Loeckx, Bernd Mahr
A remark on the equational calculus for many-sorted algebras with possibly empty carrier sets. Bull. EATCS 30 (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)
Claus-Werner Lermen, Jacques Loeckx
OBSCURE, A New Specification Language. ADT (1984)
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)
Jacques Loeckx
Algorithmic Specifications of Abstract Data Types. ICALP (1981)
Jacques Loeckx, Ingrid Glasner
A calculus for proving properties of while-programs. Mathematical Studies of Information Processing (1978)
Jacques Loeckx
Formale Korrecktheitsbeweise für While-Programme. Theoretical Computer Science (1977)
Jürgen Eickel, Jacques Loeckx
The Relation Between Derivations and Syntactical Structures in Phrase-Structure Grammars. J. Comput. Syst. Sci. 6 (3) (1972)
Jacques Loeckx
The Parsing for General Phrase-Structure Grammars Inf. Control. 16 (5) (1970)