16 search results - page 1 / 4 » Ensuring Safe Usage of Buffers in Programming Language C |
ICSOFT
2008
13 years 7 months ago
2008
POPL
2002
ACM
14 years 6 months ago
2002
ACM
In this paper we propose a scheme that combines type inference and run-time checking to make existing C programs type safe. We describe the CCured type system, which extends that ...
POPL
2005
ACM
14 years 6 months ago
2005
ACM
Dynamic software updates can be used to fix bugs or add features to a running program without downtime. Essential for some applications and convenient for others, low-level dynami...
ESOP
1999
Springer
13 years 10 months ago
1999
Springer
Safety of interoperation of program fragments written in different safe languages may fail when the languages have different systems of computational effects: an exception raised b...
PLDI
2003
ACM
13 years 11 months ago
2003
ACM
The Real-Time Specification for Java (RTSJ) allows a program to create real-time threads with hard real-time constraints. Real-time threads use region-based memory management to ...