2108 search results - page 37 / 422 » An Operational Semantics for Stateflow |
CORR
2011
Springer
14 years 1 months ago
2011
Springer
In this paper we will present the two basic operations for database schemas used in database mapping systems (separation and Data Federation), and we will explain why the functoria...
152
click to vote
CALCO
2011
Springer
13 years 9 months ago
2011
Springer
Fusion is arguably the simplest way to combine modal logics. For normal modal logics with Kripke semantics, many properties such as completeness and decidability are known to trans...
TPHOL
2007
IEEE
15 years 4 months ago
2007
IEEE
This paper concerns the formal semantics of programming languages, and the specification and verification of software. We are interested in the verification of real programs, wr...
CORR
2010
Springer
14 years 7 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 ...
SBMF
2010
Springer
14 years 4 months 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...