Jacques Loeckx

According to our database, Jacques Loeckx authored at least 27 papers between 1970 and 1996.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

1996

Specification of abstract data types.

Jacques Loeckx, Hans-Dieter Ehrich, Markus Wolf

Wiley, ISBN: 978-0-471-95067-7, 1996

1995

Experiences with a Specification Environment.

Jacques Loeckx, Jörg Zeyer

Proceedings of the KORSO, 1995

1993

The Specification System <i>Obscure</i>: a Short Survey.

Jacques Loeckx

Proceedings of the Current Trends in Theoretical Computer Science - Essays and Tutorials, 1993

OBSCURE: A Specification Language for Abstract Data Types.

Thomas Lehmann, Jacques Loeckx

Acta Informatica, 1993

KORSO: Das Verbundprojekt "Korrekte Software".

Heinrich Hußmann, Jacques Loeckx, Wolfgang Reif

Proceedings of the Informatik - Wirtschaft - Gesellschaft, 23. Gi-Jahrestagung, Dresden, Germany, 27. September, 1993

1990

The Specification System OBSCURE.

Jacques Loeckx

Bull. EATCS, 1990

1989

Foundations of Programming Languages

Jacques Loeckx, Kurt Mehlhorn, Reinhard Wilhelm

John Wiley, ISBN: 0-471-92139-4, 1989

1988

Das OBSCURE-Projekt.

Jacques Loeckx, Joachim Philippi

Proceedings of the Innovative Informations-Infrastrukturen, 1988

Verification in OBSCURE.

Jacques Loeckx, Annette Hoffmann

Proceedings of the 6st Workshop on Abstract Data Type, 1988. University of Berlin, Germany, 1988

1987

Algorithmic Specifications: A Constructive Specification Method for Abstract Data Types.

Jacques Loeckx

ACM Trans. Program. Lang. Syst., 1987

The Specification Language of OBSCURE.

Thomas Lehmann, Jacques Loeckx

Proceedings of the Recent Trends in Data Type Specification, 1987

The Foundations of Program Verification, 2nd ed.

Jacques Loeckx, Kurt Sieber

Wiley-Teubner, ISBN: 0-471-91282-4, 1987

1986

A remark on the equational calculus for many-sorted algebras with possibly empty carrier sets.

Hartmut Ehrig, Jacques Loeckx, Bernd Mahr

Bull. EATCS, 1986

The Specification Language OBSCURE.

Jacques Loeckx

Proceedings of the 4st Workshop on Abstract Data Type, 1986

Grundlagen der Programmiersprachen

Jacques Loeckx, Kurt Mehlhorn, Reinhard Wilhelm

Teubner, ISBN: 3-519-02254-0, 1986

1985

The algorithmic specification method of abstract data types: an overview.

Jacques Loeckx

Proceedings of the Mathematical Methods of Specification and Synthesis of Software Systems '85, 1985

1984

OBSCURE, A New Specification Language.

Claus-Werner Lermen, Jacques Loeckx

Proceedings of the Recent Trends in Data Type Specification, 1984

The Foundations of Program Verification, 1st ed.

Jacques Loeckx, Kurt Sieber

Wiley-Teubner, ISBN: 0-471-90323-X, 1984

1983

Program Verification with fewer Tears.

Jacques Loeckx

Proceedings of the Proceedings 2nd Workshop on Abstract Data Type, 1983

1982

The Description of Programming Languages and the Verification of their Compilers with the Help of Algorithmic Specifications of Abstract Data Types.

Jacques Loeckx

Proceedings of the Proceedings 1st Workshop on Abstract Data Type, 1982

1981

Algorithmic Specifications of Abstract Data Types.

Jacques Loeckx

Proceedings of the Automata, 1981

Implementations of Abstract Data Types and Their Verifaction.

Jacques Loeckx

Proceedings of the GI, 1981

1978

A calculus for proving properties of while-programs.

Jacques Loeckx, Ingrid Glasner

Proceedings of the Mathematical Studies of Information Processing, 1978

1977

Formale Korrecktheitsbeweise für While-Programme.

Jacques Loeckx

Proceedings of the Theoretical Computer Science, 1977

1972

The Relation Between Derivations and Syntactical Structures in Phrase-Structure Grammars.

Jürgen Eickel, Jacques Loeckx

J. Comput. Syst. Sci., 1972

Computability and decidability: an introduction for students of computer science.

Jacques Loeckx

Lecture notes in economics and mathematical systems 68, Springer, ISBN: 0387058699, 1972

1970

The Parsing for General Phrase-Structure Grammars

Jacques Loeckx

Inf. Control., July, 1970