4139 search results - page 8 / 828 » Designing and Implementing Combinator Languages |
CCS
2001
ACM
15 years 2 months ago
2001
ACM
DSL
1997
14 years 11 months ago
1997
ECEASST
2008
14 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
14 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
15 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...