3708 search results - page 82 / 742 » Programming with C Exceptions |
213
click to vote
POPL
2008
ACM
16 years 2 months ago
2008
ACM
Machine-checked proofs of properties of programming languages have become a critical need, both for increased confidence in large and complex designs and as a foundation for techn...
160
click to vote
ICFP
2001
ACM
16 years 2 months ago
2001
ACM
The CIL compiler for core Standard ML compiles whole ML programs using a novel typed intermediate language that supports the generation of type-safe customized data representation...
135
click to vote
QNS
1996
15 years 3 months ago
1996
Inferno is an operating system well suited to applications that need to be portable, graphical, and networked. This paper describes the fundamental
oating point facilities of the...
ICCL
1998
IEEE
15 years 6 months ago
1998
IEEE
POS
1992
Springer
15 years 6 months ago
1992
Springer
