98 search results - page 8 / 20 » A Proof Theoretic Approach to Operational Semantics |
102
click to vote
IANDC
2010
15 years 11 days ago
2010
This paper studies several applications of the notion of a presentation of a functor by operations and equations. We show that the technically straightforward generalisation of th...
211
click to vote
POPL
2008
ACM
16 years 2 months ago
2008
ACM
Translation validation consists of transforming a program and a posteriori validating it in order to detect a modification of its semantics. This approach can be used in a verifie...
220
click to vote
POPL
2004
ACM
16 years 2 months ago
2004
ACM
We present a framework for the certification of compilation and of compiled programs. Our approach uses a symbolic transfer functions-based representation of programs, so as to ch...
IJCAI
1989
15 years 3 months ago
1989
It is argued that Ginsberg's Possible Worlds Approach to counterfactual implication suffers from a number of defects which are the result of confusing proof theory and model ...
121
Voted
SPIN
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. The semantics of modelling languages are not always specified in a precise and formal way, and their rather complex underlying models make it a non-trivial exercise to r...