Control flow analysis in scheme
PLDI '88 Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation
POPL '88 Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Computational lambda-calculus and monads
Proceedings of the Fourth Annual Symposium on Logic in computer science
A sound and complete axiomatization of operational equivalence of programs with memory
Proceedings of the Fourth Annual Symposium on Logic in computer science
Partial evaluation applied to numerical computation
LFP '90 Proceedings of the 1990 ACM conference on LISP and functional programming
Automatic autoprojection of higher order recursive equations
Proceedings of the third European symposium on programming on ESOP '90
Inferring the equivalence of functional programs that mutate data
Theoretical Computer Science
Abstract Interpretation of Declarative Languages
Abstract Interpretation of Declarative Languages
Programming, Transforming, and Providing with Function Abstractions and Memories
ICALP '89 Proceedings of the 16th International Colloquium on Automata, Languages and Programming
A sound and complete axiomatization of operational equivalence between programs with memory
A sound and complete axiomatization of operational equivalence between programs with memory
The semantics of destructive lisp (side-effects)
The semantics of destructive lisp (side-effects)
Hi-index | 0.00 |