6201 search results - page 39 / 1241 » Implementation of Axiomatic Language |
127
Voted
ECEASST
2008
15 years 3 months ago
2008
: 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...
SIGPLAN
2008
15 years 3 months ago
2008
88
Voted
AMAI
2004
Springer
15 years 3 months ago
2004
Springer
82
Voted
JUCS
2007
15 years 3 months ago
2007
129
Voted
SPE
2011
14 years 10 months ago
2011