314 search results - page 35 / 63 » An Imperative Object Calculus |
KR
2004
Springer
14 years 2 months ago
2004
Springer
Building on earlier attempts to characterise robot perception as a form of abduction, this paper presents a logical account of active visual perception in the context of an upper-...
ECOOP
2008
Springer
13 years 11 months ago
2008
Springer
Inheritance is a standard means for reuse and for interfacing with external libraries. In a multi-language software product, extending a class written in a statically-typed languag...
DAC
2000
ACM
14 years 10 months ago
2000
ACM
This paper presents a novel compiler for Esterel, a concurrent synchronous imperative language. It generates fast, small object code by compiling away concurrency, producing a sin...
ICSE
2005
IEEE-ACM
14 years 9 months ago
2005
IEEE-ACM
Autonomic computing is a grand-challenge vision of the future in which computing systems will manage themselves in accordance with high-level objectives specified by humans. The I...
CSFW
2006
IEEE
14 years 3 months ago
2006
IEEE
A common theoretical assumption in the study of information flow security in Java-like languages is that pointers are opaque – i.e., that the only properties that can be observ...