| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A Functional Perspective on SSA Optimisation Algorithms
|
Chakravarty, Manuel M.T.
|
|
2004
|
82 |
2 |
p. 347-361
15 p.
|
artikel
|
| 2 |
A Java Card CAP converter in PVS 1 1 This work was partially funded by the European IST R&D project 2000-26328 “Verifi card”
|
Genet, Thomas
|
|
2004
|
82 |
2 |
p. 426-442
17 p.
|
artikel
|
| 3 |
Classifying and Formally Verifying Integer Constant Folding
|
Glesner, Sabine
|
|
2004
|
82 |
2 |
p. 410-425
16 p.
|
artikel
|
| 4 |
Code Annotation for Safe and Efficient Dynamic Object Resolution
|
Hartmann, Andreas
|
|
2004
|
82 |
2 |
p. 362-376
15 p.
|
artikel
|
| 5 |
Extracting a formally verified, fully executable compiler from a proof assistant
|
Berghofer, Stefan
|
|
2004
|
82 |
2 |
p. 377-394
18 p.
|
artikel
|
| 6 |
Invited Tool Demonstration Moby/RT: A Tool for Specification and Verification of Real-Time Systems
|
Dierks, Henning
|
|
2004
|
82 |
2 |
p. 346-
1 p.
|
artikel
|
| 7 |
On the Recognition of Algorithm Templates
|
Alias, Christophe
|
|
2004
|
82 |
2 |
p. 395-409
15 p.
|
artikel
|
| 8 |
Preface
|
Jens, Knoop
|
|
2004
|
82 |
2 |
p. 343-344
2 p.
|
artikel
|
| 9 |
The compiler as a validation and evaluation tool
|
Hoflehner, Gerolf F.
|
|
2004
|
82 |
2 |
p. 443-460
18 p.
|
artikel
|
| 10 |
Translation and Optimization in the Verification of Real-Time Systems
|
Olderog, Ernst-Rüdiger
|
|
2004
|
82 |
2 |
p. 345-
1 p.
|
artikel
|
Tijdschrift beschrijving