4595 search results - page 75 / 919 » Reasoning about Plans |
155
click to vote
VSTTE
2005
Springer
16 years 7 days 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...
218
click to vote
FMCO
2004
Springer
16 years 4 days 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...