164
click to vote
PPDP
15 years 10 months ago
2005 Springer 
We present ReactiveML, a programming language dedicated to the implementation of complex reactive systems as found in graphical user interfaces, video games or simulation problems...
134
click to vote
PPDP
15 years 10 months ago
2005 Springer 
fects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type and eff...
139
click to vote
PPDP
15 years 10 months ago
2005 Springer 
The paper describes a constraint-based solution to the protein folding problem on face-centered cubic lattices—a biologically meaningful approximation of the general protein fol...
115
Voted
PPDP
15 years 10 months ago
2005 Springer  183
click to vote
PPDP
15 years 10 months ago
2005 Springer 
When addressing the formal validation of generated software, two main alternatives consist either to prove the correctness of compilers or to directly validate the generated code....
|
Programming Languages