Detecting static algorithms by partial evaluation
PEPM '91 Proceedings of the 1991 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Down with Emacs Lisp: dynamic scope analysis
Proceedings of the sixth ACM SIGPLAN international conference on Functional programming
Generating Model Checkers from Algebraic Specifications
Formal Methods in System Design
A Syntactic Theory of Dynamic Binding
Higher-Order and Symbolic Computation
Java Program Verification via a Hoare Logic with Abrupt Termination
FASE '00 Proceedings of the Third Internationsl Conference on Fundamental Approaches to Software Engineering: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
Meta Languages in Algebraic Compilers
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
Formal Methods for Extensions to CAS
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Combining Proof Plans with Partial Order Planning for Imperative Program Synthesis
Automated Software Engineering
Formalizing Operational Semantic Specifications in Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards scientific workflow patterns
Proceedings of the 4th Workshop on Workflows in Support of Large-Scale Science
Understanding programming language concepts via operational semantics
Domain modeling and the duration calculus
Algebraic implementation of CTL model checker
MMACTEE'06 Proceedings of the 8th WSEAS international conference on Mathematical methods and computational techniques in electrical engineering
| Hi-index | 0.00 |