526 search results - page 28 / 106 » Towards the Verifying Compiler |
254
click to vote
POPL
2008
ACM
16 years 5 months ago
2008
ACM
Translation validation consists of transforming a program and a posteriori validating it in order to detect a modification of its semantics. This approach can be used in a verifie...
106
click to vote
ATAL
2003
Springer
15 years 10 months ago
2003
Springer
We show how it is possible to pair the NuSMV model checker with Akka, a software platform used to check validity of propositional modal formulas, to verify properties of multi-age...
222
click to vote
BMCBI
2007
15 years 5 months ago
2007
Background: Current methods for the automated generation of genome-scale metabolic networks focus on genome annotation and preliminary biochemical reaction network assembly, but d...
145
click to vote
ADAEUROPE
2007
Springer
15 years 11 months ago
2007
Springer
In this article, we experiment a way to extend an Ada library called Cheddar. Cheddar provides a domain specific language. Programs written with this domain specific language can...
140
click to vote
SC
1995
ACM
15 years 8 months ago
1995
ACM
: Data distribution is one of the key aspects that a parallelizing compiler for a distributed memory architecture should consider, in order to get efficiency from the system. The ...