Friedemann H. Simon

According to our database1, Friedemann H. Simon authored at least 9 papers between 1976 and 1999.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

1999
Towards Rigorous Compiler Implementation Verification.
Proceedings of the Collaboration between Human and Artificial Societies, 1999

1992
Das Verbundprojekt APPLY: Ein modernes und bedarfgerechtes LISP.
Künstliche Intell., 1992

1991
Wissensbasiskompilation: KI-Techniken in industrieller Anwendung.
Künstliche Intell., 1991

1987
Optimizing Static Scope Lisp by Repetitive Interpretation of Recursive Function Calls.
IEEE Trans. Software Eng., 1987

1983
Compiling functional languages for von Neumann machines.
Proceedings of the 1983 ACM SIGPLAN Symposium on Programming Language Issues in Software Systems, 1983

1980
Semantics for LISP without Reference to an Interpreter.
Proceedings of the International Symposium on Programming, 1980

1979
Zur Elimination von Prozedurschachtelungen.
Computing, 1979

1978
Eine Beziehung zwischen cons-freiem LISP und Stackautomaten.
J. Inf. Process. Cybern., 1978

1976
Cons-freies Programmierenin LISP unter deletion-Strategie.
Proceedings of the Programmiersprachen, 1976


  Loading...