1154 search results - page 7 / 231 » Implementing Typed Intermediate Languages |
149
Voted
EDBTW
2006
Springer
15 years 9 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...
210
Voted
TOPLAS
2002
15 years 5 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...
132
Voted
CGO
2010
IEEE
16 years 21 days 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...
155
Voted
ESORICS
2005
Springer
15 years 11 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...