1154 search results - page 7 / 231 » Implementing Typed Intermediate Languages |
EDBTW
2006
Springer
15 years 3 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...
157
Voted
POPL
2007
ACM
15 years 12 months ago
2007
ACM
126
click to vote
TOPLAS
2002
14 years 11 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
15 years 6 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
15 years 5 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...