12 search results - page 1 / 3 » Sound reasoning about unchecked exceptions |
SEFM
2007
IEEE
14 years 2 months ago
2007
IEEE
AISC
1998
Springer
14 years 23 days ago
1998
Springer
The use of computer algebra is usually considered beneficial for mechanised reasoning in mathematical domains. We present a case study, in the application domain of coding theory, ...
FUIN
2008
13 years 8 months ago
2008
Abstract. Besides the features of a class-based object-oriented language, Java integrates concurrency via its thread-classes, allowing for a multithreaded flow of control. Besides ...
IFM
2009
Springer
13 years 6 months ago
2009
Springer
Abstract. The complete specification of full contracts -- contracts which include tolerated exceptions, and which enable reasoning about the contracts themselves, can be achieved u...
IWFM
2003
13 years 10 months ago
2003
We outline a possible logic that will allow us to give a unified approach to reasoning about computational effects. The logic is given by extending Moggi’s computational λ-cal...