3552 search results - page 294 / 711 » Proof theory in the abstract |
198
click to vote
ICALP
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. We present a Hoare logic for a simple imperative whilelanguage with stored commands, ie. stored parameterless procedures. Stores that may contain procedures are called hi...
179
click to vote
ICTCS
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. Non-interference is a desirable property of systems in a multilevel security architecture, stating that confidential information is not disclosed in public output. The c...
159
click to vote
ECOOP
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. A properly encapsulated data representation can be revised for refactoring or other purposes without affecting the correctness of client programs and extensions of a clas...
213
click to vote
FMCO
2004
Springer
16 years 1 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...
183
click to vote
GECCO
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. This proof of concept study examines the possibility of specifying the construction of programs using a Particle Swarm algorithm, and represents a new form of automatic p...