2678 search results - page 187 / 536 » Operational Semantics of Transactions |
156
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
The paper presents a simple and concise proof of correctness of the magic transformation. We believe it may provide a useful example of formal reasoning about logic programs. The ...
186
Voted
SBMF
2010
Springer
15 years 27 days ago
2010
Springer
This paper presents a framework to reason about the eects of assignments in recursive data structures. We dene an operational semantics for a core language based on Meyer's id...
143
Voted
SYNASC
2005
IEEE
15 years 11 months ago
2005
IEEE
— A framework that describes the evolution of P systems with bounded parallelism is defined by introducing basic formal features that can be then integrated into a structural op...
158
click to vote
GPCE
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Component-oriented programming yields a tension between higherorder features (deployment, reconfiguration, passivation), encapsulation, and component sharing. We propose...
152
click to vote
PACT
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We use an enhanced operational semantics to infer quantitative measures on systems describing cryptographic protocols. System transitions carry enhanced labels. We assign...