973 search results - page 78 / 195 » Construction of a Semantic Model for a Typed Assembly Langua... |
IFM
1999
Springer
13 years 12 months ago
1999
Springer
SOFL (Structured-Object-based-Formal Language) is recently proposed to combine the advantagesof formal methods, structured methods and object-oriented methodology into one method ...
JSW
2007
13 years 7 months ago
2007
Abstract— We present and evaluate a novel constraintbased model transformation approach that implements a preservation-centric view. The proposed framework comprises formal prese...
ICFP
2007
ACM
14 years 7 months ago
2007
ACM
We present a model checker for verifying distributed programs written in the Erlang programming language. Providing a model checker for Erlang is especially rewarding since the la...
ICDT
1995
ACM
13 years 11 months ago
1995
ACM
Partial information in databases can arise when information from several databases is combined. Even if each database is complete for some \world", the combined databases wil...
ECOOP
2010
Springer
14 years 16 days ago
2010
Springer
We reduce JavaScript to a core calculus structured as a small-step operational semantics. We present several peculiarities of the language and show that our calculus models them. W...