3931 search results - page 177 / 787 » Separation logic and abstraction |
193
click to vote
ICALP
2005
Springer
16 years 1 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...
190
click to vote
PADL
2005
Springer
16 years 15 hour ago
2005
Springer
Abstract. Provably correct compilation is an important aspect in development of high assurance software systems. In this paper we explore approaches to provably correct code genera...
132
click to vote
CONCUR
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We study the expressiveness of finite message-passing automata with a priori unbounded FIFO channels and show them to capture exactly the class of MSC languages that are...
206
click to vote
ASP
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. We define a translation of aggregate programs to normal logic programs which preserves the set of partial stable models. We then define the classes of definite and str...
170
click to vote
ECAI
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. Default logic is one of the most widely used formalisms to formalize commonsense reasoning. In this paper we analyze the complexity of deciding whether a propositional in...