1060 search results - page 9 / 212 » Mechanized semantics |
80
Voted
CSAC
2004
14 years 11 months ago
2004
CoMex (Coordination Mechanism) is a system to coordinate the execution of tasks accessing coordinable entities. It uses coordination rules to describe the temporal and logical orde...
JAR
2008
14 years 9 months ago
2008
We analyze three proof strategies commonly used in deductive verification of deterministic sequential programs formalized with operational semantics. The strategies are: (i) stepw...
ICTAC
2010
Springer
14 years 7 months ago
2010
Springer
We consider software verification of imperative programs by theorem proving in higher-order separation logic. Of particular interest are the difficulties of encoding and reasoning ...
ICDE
2006
IEEE
15 years 3 months ago
2006
IEEE
The advances of video technology and video-related applications demand appropriate video semantic models for representing video data and their semantics, and supporting powerful s...
108
click to vote
ICLP
1992
Springer
15 years 1 months ago
1992
Springer
We discuss a declarative characterization of inheritance in logic programming. Our approach is inspired both by existing literature on denotational models for inheritance and by e...