1154 search results - page 7 / 231 » Implementing Typed Intermediate Languages |
EDBTW
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. We describe design and implementation of the linguistic query language DDDquery. This language aims at querying a large linguistic database storing a corpus of richly ann...
POPL
2007
ACM
14 years 7 months ago
2007
ACM
TOPLAS
2002
13 years 7 months ago
2002
We present an efficient encoding of core Java constructs in a simple, implementable typed intermediate language. The encoding, after type erasure, has the same operational behavio...
CGO
2010
IEEE
14 years 2 months ago
2010
IEEE
Dynamic scripting languages offer programmers increased flexibility by allowing properties of programs to be defined at run-time. Typically, program execution begins with an int...
ESORICS
2005
Springer
14 years 1 months ago
2005
Springer
Security protocols are critical for protecting modern communication infrastructures and are therefore subject to thorough analysis. However practical implementations of these proto...