4595 search results - page 75 / 919 » Reasoning about Plans |
119
click to vote
VSTTE
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Many well-established concepts of object-oriented programming work for individual objects, but do not support object structures. The development of a verifying compiler r...
ECAI
2004
Springer
15 years 10 months ago
2004
Springer
110
Voted
ESAW
2004
Springer
15 years 10 months ago
2004
Springer
172
click to vote
FMCO
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. A temporal logic is proposed as a tool for specifying properties of Klaim programs. Klaim is an experimental programming language that supports a programming paradigm whe...