3056 search results - page 441 / 612 » Compiling Embedded Languages |
199
click to vote
AMAST
2008
Springer
15 years 8 months ago
2008
Springer
Several proof systems allow the formal verification of Java programs, and a specification language was specifically designed for Java. However, none of these systems support generi...
183
click to vote
CP
2008
Springer
15 years 8 months ago
2008
Springer
This paper presents a global constraint that enforces rules written in a language based on arithmetic and first-order logic to hold among a set of objects. In a first step, the rul...
163
click to vote
IWEC
2010
15 years 7 months ago
2010
In many computer games narrative is a core component with the game centering on an unfolding, interactive storyline which both motivates and is driven by the game-play. Analyzing n...
145
click to vote
DAGSTUHL
2008
15 years 7 months ago
2008
Abstract. Building interval software interoperability can be a good solution when re-using high-quality legacy code or when accessing functionalities unavailable natively in one of...
164
Voted
LREC
2008
15 years 7 months ago
2008
Developing linguistic resources, in particular grammars, is known to be a complex task in itself, because of (amongst others) redundancy and consistency issues. Furthermore some l...