Within ARM's reach: compilation of left-linear rewrite systems via minimal rewrite systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Lazy rewriting on eager machinery
ACM Transactions on Programming Languages and Systems (TOPLAS)
Cones and foci: A mechanical framework for protocol verification
Formal Methods in System Design
Remarks on Thatte's transformation of term rewriting systems
Information and Computation
Cones and foci for protocol verification revisited
FOSSACS'03/ETAPS'03 Proceedings of the 6th International conference on Foundations of Software Science and Computation Structures and joint European conference on Theory and practice of software
Compiling a functional logic language: the basic scheme
FLOPS'12 Proceedings of the 11th international conference on Functional and Logic Programming
Hi-index | 0.00 |