603 search results - page 10 / 121 » A Formal Operational Semantics for SOFL |
114
click to vote
POPL
2012
ACM
13 years 7 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...
ASM
2005
ASM
15 years 5 months ago
2005
ASM
We consider a specific kind of Abstract State Machines. It is shown how the machines can be used to provide a low-level formal semantics for a tiny object-oriented language, inclu...
109
click to vote
ICDE
2011
IEEE
14 years 3 months ago
2011
IEEE
— Uncertain data is quite common nowadays in a variety of modern database applications. At the same time, the join operation is one of the most important but expensive operations...
TPHOL
2002
IEEE
15 years 4 months ago
2002
IEEE
Abstract. This paper describes a formalization of the weakest precondition, wp, for general recursive programs using the type-theoretical proof assistant Coq. The formalization is ...
118
click to vote
ECMDAFA
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. This paper presents a method to describe the operational semantics of languages based on their meta-model. We combine the established high-level modelling languages MOF, ...