3564 search results - page 16 / 713 » Evaluating a Formal Modelling Language |
JAR
2008
13 years 7 months ago
2008
This article presents the formal verification, using the Coq proof assistant, of a memory model for low-level imperative languages such as C and compiler intermediate languages. Be...
ER
2009
Springer
14 years 2 months ago
2009
Springer
PLDI
2010
ACM
13 years 9 months ago
2010
ACM
The most intuitive memory model for shared-memory multithreaded programming is sequential consistency (SC), but it disallows the use of many compiler and hardware optimizations th...
IJCAI
1993
13 years 8 months ago
1993
A student model description language and its synthesis method are presented. The language called SMDL is based on a logic programming language taking 4 truth values such as true, ...
FM
2006
Springer
13 years 11 months ago
2006
Springer
Design patterns are usually described in terms of instances. Templates describe sentences of some language with a particular form, generate sentences upon instantiation, and can be...