Sciweavers

6054 search results - page 224 / 1211
» Implementation of Andorra-based Languages
Sort
View
SAC
2003
ACM
15 years 12 months ago
Basic Components for Constraint Solver Cooperations
We propose a predefined set of basic components for designing and implementing constraint solver cooperations and solver cooperation languages. Combining these components into pa...
Eric Monfroy, Carlos Castro
COLING
1996
15 years 8 months ago
Compositional Semantics in Verbmobil
The paper discusses how compositional semantics is implemented in the Verbmobil speech-to-speech translation system using LUD, a description language for underspecified discourse ...
Johan Bos, Björn Gambäck, Christian Lies...
ESOP
2010
Springer
16 years 4 months ago
Stateful Contracts for Affine Types
Affine type systems manage resources by preventing some values from being used more than once. This offers expressiveness and performance benefits, but difficulty arises in intera...
Jesse A. Tov, Riccardo Pucella
OOPSLA
2000
Springer
15 years 10 months ago
An efficient class and object encoding
An object encoding translates a language with object primitives to one without. Similarly, a class encoding translates classes into other primitives. Both are important theoretica...
Neal Glew
ENTCS
2006
145views more  ENTCS 2006»
15 years 6 months ago
Automated Derivation of Translators From Annotated Grammars
In this paper we propose a technique to automate the process of building translators between operations languages, a family of DSLs used to program satellite operations procedures...
Diego Ordóñez Camacho, Kim Mens, Mar...