6201 search results - page 299 / 1241 » Implementation of Axiomatic Language |
147
Voted
ECOOP
2000
Springer
15 years 11 months ago
2000
Springer
Classes play a dual role in mainstream statically-typed object-oriented languages, serving as both object generators and object types. In such languages, inheritance implies subtyp...
190
Voted
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 ...
171
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...
260
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...
206
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...