Sciweavers

Share
89 search results - page 1 / 18
» Reasoning in Abella about Structural Operational Semantics S...
Sort
View
CORR
2008
Springer
128views Education» more  CORR 2008»
11 years 5 months ago
Reasoning in Abella about Structural Operational Semantics Specifications
The approach to reasoning about structural operational semantics style specifications supported by the Abella system is discussed. This approach uses -tree syntax to treat object ...
Andrew Gacek, Dale Miller, Gopalan Nadathur
ENTCS
2008
120views more  ENTCS 2008»
11 years 5 months ago
Reasoning about B+ Trees with Operational Semantics and Separation Logic
The B+ tree is an ordered tree structure with a fringe list. It is the most widely used data structure for data organisation and searching in database systems specifically, and, p...
Alan P. Sexton, Hayo Thielecke
SBMF
2010
Springer
149views Formal Methods» more  SBMF 2010»
11 years 6 days ago
Reasoning about Assignments in Recursive Data Structures
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...
Alejandro Tamalet, Ken Madlener
WOLLIC
2009
Springer
12 years 1 days ago
: An Action-Based Logic for Reasoning about Contracts
Abstract. This paper presents a new version of the CL contract speciļ¬cation language. CL combines deontic logic with propositional dynamic logic but it applies the modalities exc...
Cristian Prisacariu, Gerardo Schneider
CIA
2004
Springer
11 years 11 months ago
Reasoning About Communication - A Practical Approach Based on Empirical Semantics
Given a speciļ¬cation of communication rules in a multiagent system (in the form of protocols, ACL semantics, etc.), the question of how to design appropriate agents that can oper...
Felix A. Fischer, Michael Rovatsos
books