797 search results - page 24 / 160 » MODULA-2 and Its Compilation |
CC
2004
Springer
13 years 11 months ago
2004
Springer
This paper presents the integration of Soot, a byte-code analysis and transformation framework, with an integrated development environment (IDE), Eclipse. Such an integrated toolki...
ESOP
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. We describe a low-level calculus, called ink (pronounced "links"), designed to serve as an intermediate representation in compilers for class-based objectorient...
CP
2008
Springer
13 years 9 months ago
2008
Springer
We present an incremental refinement algorithm for approximate compilation of constraint satisfaction models into multivalued decision diagrams (MDDs). The algorithm uses a vertex ...
BXML
2004
13 years 8 months ago
2004
: In this paper we present an approach to embedding VoiceXML applications by an off-line compilation scheme. Our primary motivation is that VoiceXML is an established standard for ...
ENTCS
2006
13 years 7 months ago
2006
Executing concurrent specifications on sequential hardware is important for both simulation of systems that are eventually implemented on concurrent hardware and for those most co...