247 search results - page 39 / 50 » Event Based Sequential Program Development: Application to C... |
TLCA
2009
Springer
14 years 1 months ago
2009
Springer
Types play an important role both in reasoning about Haskell and for its implementation. For example, the Glasgow Haskell Compiler performs certain fusion transformations that are...
SPIN
2007
Springer
14 years 1 months ago
2007
Springer
One of the most exciting and promising approaches to ensure the correctness of critical systems is software model checking, which considers real code, written with standard program...
OOPSLA
1999
Springer
13 years 11 months ago
1999
Springer
Object-based parallel and distributed applications are becoming increasingly popular, driven by the programmability advantages of component technology and a flat shared-object spa...
SIGSOFT
2008
ACM
14 years 8 months ago
2008
ACM
Program specifications are important for many tasks during software design, development, and maintenance. Among these, temporal specifications are particularly useful. They expres...
WSCG
2004
13 years 8 months ago
2004
This work deals with some problems of constructing and graphical displaying for a class of kinematic surfaces generated by mutual moving ruled surfaces touching one another along ...