1005 search results - page 47 / 201 » Operational Semantics and Program Equivalence |
137
click to vote
FUIN
2002
15 years 2 months ago
2002
This paper presents an extension of an algebra of high-level Petri nets with operations for suspension and abortion. These operations are sound with respect to the semantics of pre...
164
click to vote
ICLA
2011
Springer
14 years 6 months ago
2011
Springer
We propose a probabilistic interpretation of Propositional Dynamic Logic (PDL). We show that logical and behavioral equivalence are equivalent over general measurable spaces. This...
101
click to vote
ICALP
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We consider a finitary procedural programming language (finite data-types, no recursion) extended with parallel composition and binary semaphores. Having first shown t...
114
Voted
ASM
2005
ASM
15 years 8 months ago
2005
ASM
We consider a specific kind of Abstract State Machines. It is shown how the machines can be used to provide a low-level formal semantics for a tiny object-oriented language, inclu...
105
Voted
ERSHOV
2006
Springer
15 years 6 months ago
2006
Springer
In this work, we present a semantic query optimization technique to improve the efficiency of the evaluation of a subset of SQL:1999 recursive queries. Using datalog notation, we c...