18 search results - page 4 / 4 » ppdp 2005 |
185
Voted
PPDP
2005
Springer
16 years 29 days ago
2005
Springer
Huet and Lang (1978) presented a framework of automated program transformation based on lambda calculus in which programs are transformed according to a given program transformati...
246
Voted
PPDP
2005
Springer
16 years 29 days 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....
217
Voted
PPDP
2005
Springer
16 years 29 days 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...