Jacques Loeckx

According to our database1, Jacques Loeckx
  • authored at least 27 papers between 1970 and 1996.
  • has a "Dijkstra number"2 of three.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

1996
Specification of abstract data types.
Wiley, ISBN: 978-0-471-95067-7, 1996

1995
Experiences with a Specification Environment.
Proceedings of the KORSO, 1995

1993
The Specification System Obscure: a Short Survey.
Proceedings of the Current Trends in Theoretical Computer Science - Essays and Tutorials, 1993

OBSCURE: A Specification Language for Abstract Data Types.
Acta Inf., 1993

KORSO: Das Verbundprojekt "Korrekte Software".
Proceedings of the Informatik - Wirtschaft - Gesellschaft, 23. Gi-Jahrestagung, Dresden, Germany, 27. September, 1993

1990
The Specification System OBSCURE.
Bulletin of the EATCS, 1990

1989
Foundations of Programming Languages
John Wiley, ISBN: 0-471-92139-4, 1989

1988
Das OBSCURE-Projekt.
Proceedings of the Innovative Informations-Infrastrukturen, 1988

Verification in OBSCURE.
ADT, 1988

1987
Algorithmic Specifications: A Constructive Specification Method for Abstract Data Types.
ACM Trans. Program. Lang. Syst., 1987

The Specification Language of OBSCURE.
Proceedings of the Recent Trends in Data Type Specification, 1987

The Foundations of Program Verification, 2nd ed.
Wiley-Teubner, ISBN: 0-471-91282-4, 1987

1986
A remark on the equational calculus for many-sorted algebras with possibly empty carrier sets.
Bulletin of the EATCS, 1986

The Specification Language OBSCURE.
ADT, 1986

Grundlagen der Programmiersprachen
Teubner, ISBN: 3-519-02254-0, 1986

1985
The algorithmic specification method of abstract data types: an overview.
Proceedings of the Mathematical Methods of Specification and Synthesis of Software Systems '85, 1985

1984
OBSCURE, A New Specification Language.
Proceedings of the Recent Trends in Data Type Specification, 1984

The Foundations of Program Verification, 1st ed.
Wiley-Teubner, ISBN: 0-471-90323-X, 1984

1983
Program Verification with fewer Tears.
ADT, 1983

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

1981
Algorithmic Specifications of Abstract Data Types.
Proceedings of the Automata, 1981

Implementations of Abstract Data Types and Their Verifaction.
Proceedings of the GI, 1981

1978
A calculus for proving properties of while-programs.
Proceedings of the Mathematical Studies of Information Processing, 1978

1977
Formale Korrecktheitsbeweise für While-Programme.
Proceedings of the Theoretical Computer Science, 1977

1972
The Relation Between Derivations and Syntactical Structures in Phrase-Structure Grammars.
J. Comput. Syst. Sci., 1972

Computability and decidability: an introduction for students of computer science.
Lecture notes in economics and mathematical systems 68, Springer, ISBN: 0387058699, 1972

1970
The Parsing for General Phrase-Structure Grammars
Information and Control, July, 1970


  Loading...