PPDP
15 years 2 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...
PPDP
15 years 2 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...
PPDP
15 years 2 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...
PPDP
15 years 2 months ago
2005 Springer  PPDP
15 years 2 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