3708 search results - page 115 / 742 » Programming with C Exceptions |
103
click to vote
IPPS
1998
IEEE
15 years 6 months ago
1998
IEEE
We have developed a programming model that integrates concurrency with object-based programming. The model includes features for object definition and instantiation, and it support...
125
click to vote
CSFW
1997
IEEE
15 years 6 months ago
1997
IEEE
A type system is given that eliminates two kinds of covert flows in an imperative programming language. The first kind arises from nontermination and the other from partial oper...
116
click to vote
LISP
2008
15 years 2 months ago
2008
Trace effects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type a...
104
Voted
SOSP
2001
ACM
15 years 11 months ago
2001
ACM
EUROGP
2003
Springer
15 years 7 months ago
2003
Springer