3708 search results - page 122 / 742 » Programming with C Exceptions |
218
Voted
LCTRTS
2011
Springer
14 years 5 months ago
2011
Springer
nguage does not provide any abstractions for exception handling or other forms of error handling, leaving programmers to devise their own conventions for detecting and handling er...
224
Voted
POPL
2007
ACM
16 years 2 months ago
2007
ACM
We present an internal language with equivalent expressive power to Standard ML, and discuss its formalization in LF and the machine-checked verification of its type safety in Twe...
101
Voted
AGILEDC
2006
IEEE
15 years 8 months ago
2006
IEEE
We have an Extreme Programming team at a small company dedicated to the Agile approach. Our team of 7 developers decided to use the pairing session as the fundamental unit of work...
132
Voted
SAS
2005
Springer
15 years 8 months ago
2005
Springer
We show that the idea of predicates on heap objects can be cast in the framework of predicate abstraction. This leads to an alternative view on the underlying concepts of three-val...
LFP
1990
15 years 3 months ago
1990
Category theorists invented monads in the 1960's to concisely express certain aspects of universal algebra. Functional programmers invented list comprehensions in the 1970�...