Partial evaluation and &ohgr;-completeness of algebraic specifications
Theoretical Computer Science
Initiality, induction, and computability
Algebraic methods in semantics
Communications of the ACM
Handbook of theoretical computer science (vol. B)
Handbook of theoretical computer science (vol. B)
Abstract interpretation and application to logic programs
Journal of Logic Programming
Partial evaluation and automatic program generation
Partial evaluation and automatic program generation
On the adequacy of graph rewriting for simulating term rewriting
ACM Transactions on Programming Languages and Systems (TOPLAS)
OPAL: design and implementation of an algebraic programming language
Proceedings of the international conference on Programming languages and system architectures
Toward a complete transformational toolkit for compilers
ACM Transactions on Programming Languages and Systems (TOPLAS)
Program Flow Analysis: Theory and Application
Program Flow Analysis: Theory and Application
Dynamic Dependence in Term rewriting Systems and its Application to Program Slicing
PLILP '94 Proceedings of the 6th International Symposium on Programming Language Implementation and Logic Programming
Rewriting of imperative programs into logical equations
Science of Computer Programming
A survey of strategies in rule-based program transformation systems
Journal of Symbolic Computation
Towards verification of SubCprograms with side effects
ICCOMP'06 Proceedings of the 10th WSEAS international conference on Computers
| Hi-index | 0.00 |