Friedemann H. Simon

Publication Activity (10 Years)

Years Active: 1976-1999
Publications (10 Years): 0

Publications

Wolfgang Goerigk, Friedemann H. Simon
Towards Rigorous Compiler Implementation Verification. Collaboration between Human and Artificial Societies (1999)
Harry Bretthauer, Thomas Christaller, H. Friedrich, Wolfgang Goerigk, Winfried Heicking, Ulrich Hoffmann, Dieter Hovekamp, H. Knutzen, Jürgen Kopp, E. Ulrich Kriegel, Ingo Mohr, Rainer Rosenmüller, Friedemann H. Simon
Das Verbundprojekt APPLY: Ein modernes und bedarfgerechtes LISP. Künstliche Intell. 6 (2) (1992)
Dieter Ackermann, Wolfgang Goerigk, Friedemann H. Simon
Wissensbasiskompilation: KI-Techniken in industrieller Anwendung. Künstliche Intell. 5 (2) (1991)
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) (1987)
U. Honschopp, Wolfram-Manfred Lippe, Friedemann H. Simon
Compiling functional languages for von Neumann machines. ACM SIGPLAN Notices 18 (6) (1983)
Wolfram-Manfred Lippe, Friedemann H. Simon
Semantics for LISP without Reference to an Interpreter. Symposium on Programming (1980)
Wolfram-Manfred Lippe, Friedemann H. Simon
Zur Elimination von Prozedurschachtelungen. Computing 23 (2) (1979)
Friedemann H. Simon, Peter Trademann
Eine Beziehung zwischen cons-freiem LISP und Stackautomaten. J. Inf. Process. Cybern. 14 (12) (1978)
Friedemann H. Simon
Cons-freies Programmierenin LISP unter deletion-Strategie. Fachtagung über Programmiersprachen (1976)