Sciweavers

6201 search results - page 39 / 1241
» Implementation of Axiomatic Language
Sort
View
ECEASST
2008
82views more  ECEASST 2008»
15 years 2 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
71
Voted
JUCS
2007
73views more  JUCS 2007»
15 years 2 months ago
ODEDialect: a Set of Declarative Languages for Implementing Ontology Translation Systems
Óscar Corcho, Asunción Gómez-...