Login
Admin
Simple search
|
Advanced search
Home
Browse
Latest additions
Help
Contact
Browse by Person (creator, editor, contributor, etc.)
Up a level
Export as
ASCII Citation
BibTeX
Dublin Core
EP3 XML
EndNote
HTML Citation
JSON
METS
Object IDs
OpenURL ContextObject
RDF+N-Triples
RDF+N3
RDF+XML
Refer
Reference Manager
Atom
RSS 1.0
RSS 2.0
Group by:
Item Type
|
Date
|
No Grouping
Number of items:
2
.
Chitil, Olaf
and
Luo, Yong
(2007)
Structure and Properties of Traces for Functional Programs.
In:
Mackie, Ian
, ed. Electronic Notes in Theoretical Computer Science (ENTCS). ENTCS, 176. Elsevier pp. 39-63.
Preview
Chitil, Olaf
and
Luo, Yong
(2006)
Towards a Theory of Tracing for Functional Programs based on Graph Rewriting.
In:
Mackie, Ian
, ed. Draft Proceedings of the 3rd International Workshop on Term Graph Rewriting, Termgraph 2006. Termgraph
Preview
This list was generated on
Wed May 22 18:13:01 2013 BST
.