200 search results - page 35 / 40 » Modular Reasoning in Object-Oriented Programming |
CADE
2007
Springer
14 years 10 months ago
2007
Springer
Safety and security guarantees for individual applications in general depend on assumptions on the given context provided by distributed instances of operating systems, hardware pl...
ICSE
1999
IEEE-ACM
14 years 2 months ago
1999
IEEE-ACM
The principle of separation of concerns has long been used by software engineers to manage the complexity of software system development. Programming languages help software engin...
ICFP
2005
ACM
14 years 9 months ago
2005
ACM
Writing loops with tail-recursive function calls is the equivalent of writing them with goto's. Given that loop packages for Lisp-family languages have been around for over 2...
TPHOL
2007
IEEE
14 years 4 months ago
2007
IEEE
Formal, modular, and mechanized verification of realistic systems code is desirable but challenging. Verification of machine context management (a basis of multi-tasking) is one ...
PERCOM
2005
ACM
14 years 9 months ago
2005
ACM
Mobile devices like PDAs or mobile phones have become widespread. Similarly, network functionality like GSM, Bluetooth, or WLAN has become standard. Nevertheless, not many applica...