Computational semantics of term rewriting systems
Algebraic methods in semantics
SDE 3 Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
From operational semantics to abstract machines: preliminary results
LFP '90 Proceedings of the 1990 ACM conference on LISP and functional programming
Implementation of an interpreter for a parallel language in Centaur
Proceedings of the third European symposium on programming on ESOP '90
Optimal derivations in weak lambda-calculi and in orthogonal term rewriting systems
POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A simple applicative language: mini-ML
LFP '86 Proceedings of the 1986 ACM conference on LISP and functional programming
Occam Programming Manual
Journal of Symbolic Computation - Special issue on automatic programming
A slicing-based approach for locating type errors
ACM Transactions on Software Engineering and Methodology (TOSEM)
ESOP '01 Proceedings of the 10th European Symposium on Programming Languages and Systems
A slicing-based approach for locating type errors
DSL'97 Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997
| Hi-index | 0.00 |