Sciweavers

6201 search results - page 39 / 1241
» Implementation of Axiomatic Language
Sort
View
ECEASST
2008
82views more  ECEASST 2008»
13 years 11 months ago
Interaction nets: programming language design and implementation
: This paper presents a compiler for interaction nets, which, just like term rewriting systems, are user-definable rewrite systems which offer the ability to specify and program. I...
Abubakar Hassan, Ian Mackie, Shinya Sato