default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJacques Loeckx
Person information
- affiliation: Saarland University, Saarbrücken, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
1990 – 1999
- 1996
[b6]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- 1995
- [p2]Jacques Loeckx, Jörg Zeyer:
Experiences with a Specification Environment. KORSO Book 1995: 255-269 - 1993
- [j6]Thomas Lehmann, Jacques Loeckx:
OBSCURE: A Specification Language for Abstract Data Types. Acta Informatica 30(4): 303-350 (1993) - [c13]Heinrich Hußmann, Jacques Loeckx, Wolfgang Reif:
KORSO: Das Verbundprojekt "Korrekte Software". GI Jahrestagung 1993: 266-271 - [p1]Jacques Loeckx:
The Specification System Obscure: a Short Survey. Current Trends in Theoretical Computer Science 1993: 111-114 - 1990
- [j5]Jacques Loeckx:
The Specification System OBSCURE. Bull. EATCS 40: 168-171 (1990)
1980 – 1989
- 1989
- [b5]Jacques Loeckx, Kurt Mehlhorn, Reinhard Wilhelm:
Foundations of Programming Languages. John Wiley 1989, ISBN 0-471-92139-4 - 1988
- [c12]Jacques Loeckx, Annette Hoffmann:
Verification in OBSCURE. ADT 1988 - [c11]Jacques Loeckx, Joachim Philippi:
Das OBSCURE-Projekt. Innovative Informations-Infrastrukturen 1988: 132-145 - 1987
- [b4]Jacques Loeckx, Kurt Sieber:
The Foundations of Program Verification, 2nd ed. Wiley-Teubner 1987, ISBN 3-519-12101-8 - [j4]Jacques Loeckx:
Algorithmic Specifications: A Constructive Specification Method for Abstract Data Types. ACM Trans. Program. Lang. Syst. 9(4): 646-685 (1987) - [c10]Thomas Lehmann, Jacques Loeckx:
The Specification Language of OBSCURE. ADT 1987: 131-153 - 1986
- [b3]Jacques Loeckx, Kurt Mehlhorn, Reinhard Wilhelm:
Grundlagen der Programmiersprachen. Teubner 1986, ISBN 3-519-02254-0 - [j3]Hartmut Ehrig, Jacques Loeckx, Bernd Mahr:
A remark on the equational calculus for many-sorted algebras with possibly empty carrier sets. Bull. EATCS 30: 61-65 (1986) - [c9]Jacques Loeckx:
The Specification Language OBSCURE. ADT 1986 - 1985
- [c8]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
- [b2]Jacques Loeckx, Kurt Sieber:
The Foundations of Program Verification, 1st ed. Wiley-Teubner 1984, ISBN 3-519-02101-3 - [c7]Claus-Werner Lermen, Jacques Loeckx:
OBSCURE, A New Specification Language. ADT 1984: 28-30 - 1983
- [c6]Jacques Loeckx:
Program Verification with fewer Tears. ADT 1983 - 1982
- [c5]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
- [c4]Jacques Loeckx:
Implementations of Abstract Data Types and Their Verifaction. GI Jahrestagung 1981: 96-108 - [c3]Jacques Loeckx:
Algorithmic Specifications of Abstract Data Types. ICALP 1981: 129-147
1970 – 1979
- 1978
- [c2]Jacques Loeckx, Ingrid Glasner:
A calculus for proving properties of while-programs. Mathematical Studies of Information Processing 1978: 252-281 - 1977
- [c1]Jacques Loeckx:
Formale Korrecktheitsbeweise für While-Programme. Theoretical Computer Science 1977: 190-207 - 1974
- [e1]Jacques Loeckx:
Automata, Languages and Programming, 2nd Colloquium, University of Saarbrücken, Germany, July 29 - August 2, 1974, Proceedings. Lecture Notes in Computer Science 14, Springer 1974, ISBN 3-540-06841-4 [contents] - 1972
- [b1]Jacques Loeckx:
Computability and decidability: an introduction for students of computer science. Lecture notes in economics and mathematical systems 68, Springer 1972, ISBN 0387058699, pp. I-VI, 1-76 - [j2]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
- [j1]Jacques Loeckx:
The Parsing for General Phrase-Structure Grammars. Inf. Control. 16(5): 443-464 (1970)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 23:13 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
