7124 search results - page 95 / 1425 » Programming Languages and Operating Systems |
ICALP
1995
Springer
15 years 1 months ago
1995
Springer
PLDI
2006
ACM
15 years 3 months ago
2006
ACM
Applications written in unsafe languages like C and C++ are vulnerable to memory errors such as buffer overflows, dangling pointers, and reads of uninitialized data. Such errors ...
106
click to vote
JTRES
2010
ACM
14 years 10 months ago
2010
ACM
We present oSCJ, an implementation of the draft of Safety Critical Java (SCJ) specification. SCJ is designed to make Java amenable to writing mission- and safety-critical software...
SCAM
2003
IEEE
15 years 3 months ago
2003
IEEE
The Program Dependence Graph was introduced by Ottenstein and Ottenstein in 1984. It was suggested to be a suitable internal program representation for monolithic programs, for th...
ATAL
2007
Springer
15 years 4 months ago
2007
Springer
This paper proposes programming constructs to improve the practical application of existing BDI-based agent-oriented programming languages that have formal semantics. The proposed...