74 search results - page 6 / 15 » Exceptional situations and program reliability |
LCTRTS
2011
Springer
13 years 20 days 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...
APIN
2000
13 years 9 months ago
2000
Defeasible logic is a system of reasoning in which rules have exceptions, and when rules conflict, the one that applies most specifically to the situation wins out. This paper repo...
AC
2002
Springer
13 years 9 months ago
2002
Springer
How much does the choice of a programming language influence the prevalence of bugs in the resulting code? It seems obvious that at the level at which individuals write new progra...
GECCO
2003
Springer
14 years 3 months ago
2003
Springer
Several researchers are using evolutionary search methods to search for test data with which to test a program. The fitness or cost function depends on the test goal but almost in...
CACM
1999
13 years 9 months ago
1999
stractions underlying distributed computing. We attempted to keep our preaims at an abstract and general level. In this column, we make those claims more concrete. More precisely, ...