1455 search results - page 126 / 291 » Programming in Logic with Constraints for Natural Language P... |
127
Voted
CASES
2007
ACM
15 years 8 months ago
2007
ACM
The memory intensive nature of object-oriented languages such as C++ and Java has created the need of a high-performance dynamic memory management (DMM); however, it is a challeng...
115
click to vote
FOAL
2007
ACM
15 years 8 months ago
2007
ACM
By modeling dynamic join points, pointcuts, and advice in a defunctionalized continuation-passing style interpreter, we provide a fundamental account of these AOP mechanisms. Dyna...
121
Voted
DOCENG
2003
ACM
15 years 9 months ago
2003
ACM
To support the rapid growth of the web and e-commerce, W3C developed DOM as an application programming interface that the abstract, logical tree structure of an XML document. In t...
140
click to vote
LFCS
2009
Springer
15 years 10 months ago
2009
Springer
We explore an intuitionistic fragment of Art¨emov’s Logic of Proofs as a type system for a programming language for mobile units. Such units consist of both a code and certific...
166
click to vote
CAISE
2004
Springer
15 years 9 months ago
2004
Springer
Modeling languages have been evolving at a high pace, encouraging the use of automatic code generators for transforming models to programs. Automatic code generators should enable ...