949 search results - page 9 / 190 » Relating Imperatives to Action |
133
Voted
JMLR
2012
13 years 4 months ago
2012
Many real-world problems are inherently hierarchically structured. The use of this structure in an agent’s policy may well be the key to improved scalability and higher performa...
AAAI
2004
15 years 3 months ago
2004
CONCUR
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. An impure language is one that combines functional and imperative constructs. We propose a method for ensuring termination of impure concurrent languages that makes it po...
153
click to vote
ESOP
1992
Springer
15 years 5 months ago
1992
Springer
We have designed, implemented, and proved the correctness of a compiler generator that accepts action semantic descriptions of imperative programming languages. The generated comp...
LICS
2002
IEEE
15 years 6 months ago
2002
IEEE
In joint work with Peter O’Hearn and others, based on early ideas of Burstall, we have developed an extension of Hoare logic that permits reasoning about low-level imperative pr...