3708 search results - page 30 / 742 » Programming with C Exceptions |
120
click to vote
DSN
2002
IEEE
15 years 6 months 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
15 years 6 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...
132
click to vote
SAC
2000
ACM
15 years 5 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...
124
click to vote
VMV
2003
15 years 3 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
15 years 7 months ago
2005
Springer