3708 search results - page 442 / 742 » Programming with C Exceptions |
144
Voted
IPPS
2006
IEEE
16 years 20 days ago
2006
IEEE
Parallel programming is facilitated by constructs which, unlike the widely used SPMD paradigm, provide programmers with a global view of the code and data structures. These constr...
209
click to vote
ACL2
2006
ACM
16 years 19 days ago
2006
ACM
One of ACL2’s most interesting features is that it is executable, so users can run the programs that they verify, and debug them during verification. In fact, the ACL2 implemen...
204
click to vote
PLDI
2006
ACM
16 years 18 days ago
2006
ACM
We propose the monadic linear logic programming language LolliMon as a new foundation for the specification of distributed trust management systems, particularly the RT framework...
167
click to vote
TPHOL
2005
IEEE
16 years 6 days ago
2005
IEEE
Abstract. How close are we to a world where every paper on programming languages is accompanied by an electronic appendix with machinechecked proofs? We propose an initial set of b...
167
click to vote
SAC
2004
ACM
16 years 2 days ago
2004
ACM
The term inheritance anomaly was coined in 1993 by Matsuoka and Yonezawa [15] to refer to the problems arising by the coexistence of inheritance and concurrency in concurrent obje...