 | 1999 |
|---|
| 7 |       | Wolfgang Goerigk,
Friedemann H. Simon:
Towards Rigorous Compiler Implementation Verification.
Collaboration between Human and Artificial Societies 1999: 62-73 |
| 1992 |
|---|
| 6 | | Harry Bretthauer,
Thomas Christaller,
H. Friedrich,
Wolfgang Goerigk,
Winfried Heicking,
Ulrich Hoffmann,
Dieter Hovekamp,
H. Knutzen,
Jürgen Kopp,
E. U. Kriegel,
I. Mohr,
R. Rosenmüller,
Friedemann H. Simon:
Das Verbundprojekt APPLY: Ein modernes und bedarfgerechtes LISP.
KI 6(2): 50-54 (1992) |
| 1991 |
|---|
| 5 | | Dieter Ackermann,
Wolfgang Goerigk,
Friedemann H. Simon:
Wissensbasiskompilation: KI-Techniken in industrieller Anwendung.
KI 5(2): 93-96 (1991) |
| 1987 |
|---|
| 4 | | Kay-Ulrich Felgentreu,
Wolfram-Manfred Lippe,
Friedemann H. Simon:
Optimizing Static Scope Lisp by Repetitive Interpretation of Recursive Function Calls.
IEEE Trans. Software Eng. 13(6): 628-635 (1987) |
| 1980 |
|---|
| 3 | | Wolfram-Manfred Lippe,
Friedemann H. Simon:
Semantics for LISP without Reference to an Interpreter.
Symposium on Programming 1980: 240-255 |
| 1978 |
|---|
| 2 | | Friedemann H. Simon,
Peter Trademann:
Eine Beziehung zwischen cons-freiem LISP und Stackautomaten.
Elektronische Informationsverarbeitung und Kybernetik 14(12): 619-638 (1978) |
| 1976 |
|---|
| 1 | | Friedemann H. Simon:
Cons-freies Programmierenin LISP unter deletion-Strategie.
Fachtagung über Programmiersprachen 1976: 111-123 |
