Conditional rewriting logic as a unified model of concurrency
Selected papers of the Second Workshop on Concurrency and compositionality
Graph rewriting using the annotated functional strategy
Term graph rewriting
Term rewriting and all that
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Algebraic Semantics of Imperative Programs
Algebraic Semantics of Imperative Programs
Lazy Rewriting and Eager Machinery
RTA '95 Proceedings of the 6th International Conference on Rewriting Techniques and Applications
Introduction to the programming languages track (track introduction)
SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 2
Improving On-Demand Strategy Annotations
LPAR '02 Proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Termination of on-demand rewriting and termination of OBJ programs
Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming
On-demand strategy annotations revisited: An improved on-demand evaluation strategy
Theoretical Computer Science
| Hi-index | 0.00 |