6274 search results - page 123 / 1255 » Proofs, Programs, Processes |
138
click to vote
EURODAC
1994
IEEE
15 years 7 months ago
1994
IEEE
We outline a general methodology for the formal verification of pipeline conflicts in RISC cores. The different kinds of conflicts that can occur due to the simultaneous execution...
111
click to vote
TGC
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Ghost variables are assignable variables that appear in program annotations but do not correspond to physical entities. They are used to facilitate specification and ver...
123
click to vote
CSL
2004
Springer
15 years 6 months ago
2004
Springer
Using separation logic, this paper presents three Hoare logics (corresponding to different notions of correctness) for the simple While language extended with commands for heap acc...
114
click to vote
ENTCS
2007
15 years 3 months ago
2007
We develop a sound and complete equational theory for the functional quantum programming language QML. The soundness and completeness of the theory are with respect to the previou...
119
click to vote
CP
2006
Springer
15 years 6 months ago
2006
Springer
The problem of finding a graceful labelling of a graph, or proving that the graph is not graceful, has previously been modelled as a CSP. A new and much faster CSP model of the pro...