5451 search results - page 299 / 1091 » Typed Operational Semantics |
124
click to vote
ER
2003
Springer
15 years 10 months ago
2003
Springer
Existing solutions to data and schema integration require user interaction/input to generate a data transformation between two different schemas. These approaches are not appropri...
168
click to vote
AGTIVE
2007
Springer
15 years 11 months ago
2007
Springer
Communities of autonomous units are being developed for formal specification and semantic analysis of systems of interacting and mobile components. The autonomous units of a commu...
139
click to vote
CORR
2010
Springer
15 years 2 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 ...
161
click to vote
SBMF
2010
Springer
14 years 11 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...
126
click to vote
FPCA
1991
15 years 8 months ago
1991
We develop a calculus for lazy functional programming based on recursion operators associated with data type de nitions. For these operators we derive various algebraic laws that ...