4139 search results - page 8 / 828 » Designing and Implementing Combinator Languages |
174
Voted
CCS
2001
ACM
15 years 12 months ago
2001
ACM
157
Voted
DSL
1997
15 years 8 months ago
1997
205
Voted
ECEASST
2008
15 years 7 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...
213
click to vote
FORTE
1996
15 years 8 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...
178
Voted
CADE
2006
Springer
16 years 7 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...