Conventional and Uniqueness Typing in Graph Rewrite Systems (Extended Abstract) (1993)


Download Links

by Erik Barendsen , Sjaak Smetsers
Venue:In Proceedings of the 13th Conference on the Foundations of Software Technology and Theoretical Computer Science
Citations:69 - 5 self

Active Bibliography

Graph Rewriting and Copying – Erik Barendsen, Sjaak Smetsers - 1992
32 Guaranteeing Safe Destructive Updates through a Type System with Uniqueness Information for Graphs – Sjaak Smetsers, Erik Barendsen, Marko van Eekelen, Rinus Plasmeijer - 1994
60 Concurrent Clean – Eric Nöcker, Sjaak Smetsers, Marko van Eekelen, Rinus Plasmeijer - 1991
Efficient Management in the Concrete ABC Machine – John Van Groningen, Eric Nöcker, Sjaak Smetsers - 1991
2 Rank 2 types for term graph rewriting – Steffen Van Bakel - 2003
23 Generating Efficient Code for Lazy Functional Languages – Sjaak Smetsers, Eric Nöcker, John Van Groningen, Rinus Plasmeijer - 1991
15 The Functional Strategy and Transitive Term Rewriting Systems – Yoshihito Toyama, Sjaak Smetsers, Marko van Eekelen, Rinus Plasmeijer - 1993
3 Rank 2 Types for Term Graph Rewriting (Extended Abstract) – Steffen van Bakel
Term Graph Rewriting and Strong Sequentiality – Sjaak Smetsers - 1992
2 A Complete Proof System for Nested Term Graphs – Stefan Blom - 1995
4 Rewriting on Cyclic Structures – Andrea Corradini, Andrea Corradini, Fabio Gadducci, Fabio Gadducci - 1998
1 Operational Machine Specification in a Functional Programming Language – P. W. M. Koopman - 1995
General Terms – Akihiko Tozawa, Michiaki Tatsubori, Tamiya Onodera, Yasuhiko Minamide
Term Graphs and Principal Types for X – Steffen Van Bakel, Jayshan Raghun, Er Summers
Hierarchical models for service-oriented systems – Roberto Bruni, Fabio Gadducci, Andrea Corradini, Alberto Lluch Lafuente, Ugo Montanari
16 A Syntactic Approach to Program Transformations – Zena M. Ariola, Arvind - 1991
34 Dactl: An Experimental Graph Rewriting Language – John R. W. Glauert, Richard Kennaway, George A. Papadopoulos, Ronan Sleep - 1991
22 Properties of a First-order Functional Language with Sharing – Zena M. Ariola, Arvind, Zena M. Ariola - 1994
8 Relating Graph and Term Rewriting via Böhm Models – Zena M. Ariola - 1993