4139 search results - page 8 / 828 » Designing and Implementing Combinator Languages |
CCS
2001
ACM
14 years 2 months ago
2001
ACM
DSL
1997
13 years 11 months ago
1997
ECEASST
2008
13 years 10 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...
FORTE
1996
13 years 11 months ago
1996
The paper describes the application of SDL-92[1] and OMT[2] to the design of a V5.x Access Network interface. While OMT is used to model the management aspects of the system, typi...
CADE
2006
Springer
14 years 10 months ago
2006
Springer
The nominal datatype package implements an infrastructure in Isabelle/HOL for defining languages involving binders and for reasoning conveniently about alpha-equivalence classes. P...