6054 search results - page 266 / 1211 » Implementation of Andorra-based Languages |
190
click to vote
ESOP
1994
Springer
15 years 10 months ago
1994
Springer
Scientists and engineers must ensure that physical equations are dimensionally consistent, but existing programming languages treat all numeric values as dimensionless. This paper ...
168
click to vote
AAAI
2008
15 years 9 months ago
2008
In a recent paper, Ferraris, Lee and Lifschitz conjectured that the concept of a stable model of a first-order formula can be used to treat some answer set programming expressions...
257
click to vote
TSI
2010
15 years 1 months ago
2010
In this paper, we present a Web-based framework for interactive deictic and sign language virtual agents. Our framework is a DOM-Integrated Virtual Agents architecture, which has b...
205
click to vote
CSFW
2012
IEEE
13 years 9 months ago
2012
IEEE
—We present a secure (fully abstract) compilation scheme to compile an object-based high-level language to lowchine code. Full abstraction is achieved by relying on a fine-grain...
304
click to vote
ICFP
2009
ACM
16 years 7 months ago
2009
ACM
Functional Reactive Programming (FRP) is an approach to reactive programming where systems are structured as networks of functions operating on signals. FRP is based on the synchr...