3708 search results - page 30 / 742 » Programming with C Exceptions |
DSN
2002
IEEE
14 years 19 days ago
2002
IEEE
As our reliance on computers increases, so does the need for robust software. Previous studies have shown that many C libraries exhibit robustness problems due to exceptional inpu...
ESOP
1999
Springer
13 years 12 months ago
1999
Springer
Expressions in the programming language C have such an under-specified semantics that one might expect them to be non-deterministic. However, with the help of a mechanised formali...
SAC
2000
ACM
13 years 11 months ago
2000
ACM
Abstract. Formal grammars are well established for specifying the syntax of programming languages. However, the formal specification of programming language semantics has proven mo...
VMV
2003
13 years 9 months ago
2003
Contour lines from topographic maps are still the most common form of elevation data for the Earth’s surface and in the case of historical landscapes, they often are the only av...
CC
2005
Springer
14 years 1 months ago
2005
Springer