7139 search results - page 355 / 1428 » Language Engineering in Practice |
224
Voted
ICFP
2002
ACM
16 years 7 months ago
2002
ACM
Multi-stage programming languages provide a convenient notation for explicitly staging programs. Staging a definitional interpreter for a domain specific language is one way of de...
150
Voted
IUI
2004
ACM
16 years 26 days ago
2004
ACM
In this paper, we describe the rationale behind and architecture of a conversational agent capable of speech enabling multiple applications Categories and Subject Descriptors H5.2...
191
Voted
CODES
1999
IEEE
15 years 11 months ago
1999
IEEE
In this paper, we develop a formal framework to widen the scope of retargetable compilation. The goal is achieved by the unification of architectural models for both the processor...
173
Voted
ISOTAS
1993
15 years 11 months ago
1993
We examine the problem of how to ensure behavioral consistency of an object-oriented system after its schema has been updated. The problem is viewed from the perspective of both t...
185
click to vote
AMAST
2004
Springer
15 years 11 months ago
2004
Springer
We present a calculus for the verification of sequential Java programs. It supports all Java language constructs and has additional support for Java Card. The calculus is formally ...