E-LIB Suche - Ergebnisse für: Loeckx, Jacques

1

KORSO: Das Verbundprojekt "Korrekte Software":

, In: Informatik — Wirtschaft — Gesellschaft; Informatik aktuell,

Hußmann, Heinrich ; Loeckx, Jacques ; Reif, Wolfgang - p. 266-271 , 1993

Link: https://doi.org/10.1007/..

2

OBSCURE a specification language for abstract data types:

Lehmann, Thomas ; Loeckx, Jacques
Acta Informatica. 30 (1993) 4 - p. 303-350 , 1993

Link: https://doi.org/10.1007/..

3

Algorithmic specifications: a constructive specification me..:

Loeckx, Jacques
ACM Transactions on Programming Languages and Systems. 9 (1987) 4 - p. 646-661 , 1987

Link: https://doi.org/10.1145/..

4

Algorithmic specifications: a constructive specification me..:

Loeckx, Jacques
ACM Transactions on Programming Languages and Systems (TOPLAS). 9 (1987) 4 - p. 646-661 , 1987

Link: https://dl.acm.org/doi/1..

5

Automata, languages and programming

2nd colloquium, University of Saarbrücken, July 29 - Augus... Lecture notes in computer science ; 14

Loeckx, Jacques , 1974

Link: http://dx.doi.org/10.100..

6

Automata, languages and programming

2nd colloquium, University of Saarbrücken, July 29 - Augus... Lecture notes in computer science ; 14

Loeckx, Jacques , 1974

Copies: Zentrale:Magazin ck 0761

7

Automata, languages and programming

2nd colloquium, University of Saarbrücken, July 29 - Augus... Lecture notes in computer science ; 14

Loeckx, Jacques , 1974

Link: http://dx.doi.org/10.100..

8

The relation between derivations and syntactical structures..:

Eickel, Jürgen ; Loeckx, Jacques
Journal of Computer and System Sciences. 6 (1972) 3 - p. 267-282 , 1972

Link: https://doi.org/10.1016/..

9

An algorithm for the construction of bounded-context parser:

Loeckx, Jacques
Communications of the ACM. 13 (1970) 5 - p. 297-307 , 1970

Link: https://doi.org/10.1145/..

10

An algorithm for the construction of bounded-context parser:

Loeckx, Jacques
Communications of the ACM. 13 (1970) 5 - p. 297-307 , 1970

Link: https://dl.acm.org/doi/1..

11

Logic for System Engineering (Dagstuhl Seminar 9710):

Loeckx, Jacques ; Wirsing, Martin
doi:10.4230/DagSemRep.171. , 2021

Link: https://doi.org/10.4230/..

12

Logical Theory for Program Construction (Dagstuhl Seminar 9..:

Finance, Jean-Pierre ; Loeckx, Jacques ; Wirsing, Martin
doi:10.4230/DagSemRep.7. , 2021

Link: https://doi.org/10.4230/..

13

Logical Theory for Program Construction (Dagstuhl Seminar 9..:

Finance, Jean-Pierre ; Loeckx, Jacques ; Smith, Douglas.
doi:10.4230/DagSemRep.84. , 2021

Link: https://doi.org/10.4230/..

14

LEX : a case study in development and validation of formal ..:

Heckler, Andreas Ramses ; Hettler, Rudolf ; Hussmann, Heinrich...
Technischer Bericht / A / Fachbereich Informatik, Universität des Saarlandes;1996/06. , 2014

Link: http://nbn-resolving.org..

15

OBSCURE, a specification language for abstract data types:

Lehmann, Thomas ; Loeckx, Jacques
Technischer Bericht / A / Fachbereich Informatik, Universität des Saarlandes;1990/19. , 1990

Link: http://nbn-resolving.org..