16 search results - page 1 / 4 » Ensuring Safe Usage of Buffers in Programming Language C |
56
Voted
ICSOFT
2008
14 years 11 months ago
2008
198
click to vote
POPL
2002
ACM
15 years 10 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 ...
170
click to vote
POPL
2005
ACM
15 years 10 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...
100
click to vote
ESOP
1999
Springer
15 years 1 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
15 years 2 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 ...