Browse by Journal
Up a level |
Jump to: C
Number of items: 1.
C
Chitil, Olaf, Luo, Yong (2007) Structure and Properties of Traces for Functional Programs. In: Mackie, Ian, ed. Proceedings of the 3rd International Workshop on Term Graph Rewriting, Termgraph 2006. ENTCS , 176. pp. 39-63. Elsevier (doi:10.1016/j.entcs.2006.10.032) |