Strictness analysis using abstract reduction
FPCA '93 Proceedings of the conference on Functional programming languages and computer architecture
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Object graph rewriting: an experimental parallel implementation
PASCO '97 Proceedings of the second international symposium on Parallel symbolic computation
Linear behaviour of term graph rewriting programs
SAC '95 Proceedings of the 1995 ACM symposium on Applied computing
Implementing interaction nets in MONSTR
SAC '97 Proceedings of the 1997 ACM symposium on Applied computing
Journal of the ACM (JACM)
Graph rewrite systems for program optimization
ACM Transactions on Programming Languages and Systems (TOPLAS)
Comparing logics for rewriting: rewriting logic, action calculi and tile logic
Theoretical Computer Science - Rewriting logic and its applications
Normal Forms for Partitions and Relations
WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
Parallel Admissible Graph Rewriting
WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
A Sight-seeing Tour of the Computational Landscape of Graph Transformation
Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg [on occasion of his 60th birthday, March 14, 2002]
Structured Formal Verification of a Fragment of the IBM S/390 Clock Chip
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
A sight-seeing tour of the computational landscape of graph transformation
Formal and natural computing
ADC '03 Proceedings of the 14th Australasian database conference - Volume 17
A rewriting calculus for cyclic higher-order term graphs
Mathematical Structures in Computer Science
Towards a Sharing Strategy for the Graph Rewriting Calculus
Electronic Notes in Theoretical Computer Science (ENTCS)
A Single-Step Term-Graph Reduction System for Proof Assistants
Applications of Graph Transformations with Industrial Relevance
Code Graph Transformations for Verifiable Generation of SIMD-Parallel Assembly Code
Applications of Graph Transformations with Industrial Relevance
A Heterogeneous Pushout Approach to Term-Graph Transformation
RTA '09 Proceedings of the 20th International Conference on Rewriting Techniques and Applications
Algebraic Meta-structure Handling of Huge Database Schemata
ER '09 Proceedings of the ER 2009 Workshops (CoMoL, ETheCoM, FP-UML, MOST-ONISW, QoIS, RIGiM, SeCoGIS) on Advances in Conceptual Modeling - Challenging Perspectives
Electronic Notes in Theoretical Computer Science (ENTCS)
A Rewriting Calculus for Cyclic Higher-order Term Graphs
Electronic Notes in Theoretical Computer Science (ENTCS)
Addressed Term Rewriting Systems: Syntax, Semantics, and Pragmatics
Electronic Notes in Theoretical Computer Science (ENTCS)
Journal of Visual Languages and Computing
Programming with narrowing: A tutorial
Journal of Symbolic Computation
Control-Flow semantics for assembly-level data-flow graphs
RelMiCS'05 Proceedings of the 8th international conference on Relational Methods in Computer Science, Proceedings of the 3rd international conference on Applications of Kleene Algebra
The graph rewriting calculus: confluence and expressiveness
ICTCS'05 Proceedings of the 9th Italian conference on Theoretical Computer Science
Graph transformation with variables
Formal Methods in Software and Systems Modeling
Streams with a bottom in functional languages
ESOP'05 Proceedings of the 14th European conference on Programming Languages and Systems
Skew and ω-skew confluence and abstract Böhm semantics
Processes, Terms and Cycles
Sharing in the graph rewriting calculus
WADT'10 Proceedings of the 20th international conference on Recent Trends in Algebraic Development Techniques
EQUATIONAL TERM GRAPH REWRITING
Fundamenta Informaticae
Highlights in infinitary rewriting and lambda calculus
Theoretical Computer Science
Complete Conceptual Schema Algebras
Fundamenta Informaticae
Hi-index | 0.00 |