8232 search results - page 385 / 1647 » Dynamic Logic Programming |
194
click to vote
ICCS
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Parallel Computational Science and Engineering (CSE) applications often exhibit irregular structure and dynamic load patterns. Many such applications have been developed ...
180
click to vote
SEFM
2005
IEEE
16 years 11 days ago
2005
IEEE
Verification of programs requires reasoning about sets of program states. In case of programs manipulating pointers, program states are pointer graphs. Verification of such prog...
151
click to vote
BIRTHDAY
2005
Springer
16 years 10 days ago
2005
Springer
We present an extension of first-order predicate logic with a novel predicate ‘at t’ meaning intuitively “this term is a variable symbol”. We give simple sequent proof-ru...
206
click to vote
CONCUR
2005
Springer
16 years 9 days ago
2005
Springer
The context of this study is timed temporal logics for timed automata. In this paper, we propose an extension of the classical logic TCTL with a new Until modality, called “Until...
160
click to vote
TACAS
2007
Springer
16 years 27 days ago
2007
Springer
This paper presents a mechanised Hoare-style programming logic framework for assembly level programs. The framework has been designed to fit on top of operational semantics of rea...