Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Duval, Dominique - Laboratoire Jean Kuntzmann, Université Joseph Fourier
A Heterogeneous Pushout Approach to Term-Graph Transformation
arXiv:cs.PL/0503065v124Mar2005 Data-Structure Rewriting
Adjunction for Garbage Collection with Application to Graph Rewriting
TERMGRAPH 2006 Preliminary Version Modeling Pointer Redirection as Cyclic
Vers une modlisation diagrammatique de la bibliothque C++ d'algbre linaire LINBOX
About raising and handling exceptions Dominique Duval and Jean-Claude Reynaud
Math. Struct. in Comp. Science (2003), vol. 13, pp. 857890. c 2003 Cambridge University Press DOI: 10.1017/S0960129503003979 Printed in the United Kingdom
Towards Diagrammatic Specifications of Symbolic Computation Systems
