668 search results - page 10 / 134 » Operational semantics for multi-language programs |
76
Voted
ADAEUROPE
2008
Springer
15 years 6 months ago
2008
Springer
The Ada programming language has been designed from the ground up for safety-critical real-time systems. This trend has continued with the Ada 2005 language definition which has i...
108
click to vote
ENTCS
2008
15 years 12 days ago
2008
We show how to reason, in the proof assistant Coq, about realistic programming languages using a combination of separation logic and heterogeneous multimodal logic. A heterogeneou...
123
click to vote
POPL
2012
ACM
13 years 8 months ago
2012
ACM
We present a formal operational semantics and its Coq mechanization for the C++ object model, featuring object construction and destruction, shared and repeated multiple inheritan...
91
Voted
ASIAN
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. The concept of unreliable failure detectors for reliable distributed systems was introduced by Chandra and Toueg as a fine-grained means to add weak forms of synchrony i...
198
click to vote
POPL
2008
ACM
16 years 20 days ago
2008
ACM
Software transactions have received significant attention as a way to simplify shared-memory concurrent programming, but insufficient focus has been given to the precise meaning o...