10072 search results - page 390 / 2015 » Composition of Model Programs |
166
click to vote
ECOOP
1994
Springer
15 years 11 months ago
1994
Springer
Real-time programs are, in general, difficult to design and verify. The inheritance mechanism can be useful in reusing well-defined and verified real-time programs. In application...
176
click to vote
ECTEL
2006
Springer
15 years 10 months ago
2006
Springer
The aim of education is to provide the basis for life long learning and improvement. In this direction, schools and universities offer standard curricula aiming to cover the fundam...
172
click to vote
PPDP
2009
Springer
16 years 1 months ago
2009
Springer
We propose a novel type-based model checking algorithm for higher-order recursion schemes. As shown by Kobayashi, verification problems of higher-order functional programs can ea...
