Sciweavers

7124 search results - page 95 / 1425
» Programming Languages and Operating Systems
Sort
View
ICALP
1995
Springer
15 years 6 months ago
Automatic Synthesis of Real Time Systems
Jørgen H. Andersen, Kåre J. Kristoffe...
PLDI
2006
ACM
15 years 8 months ago
DieHard: probabilistic memory safety for unsafe languages
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 ...
Emery D. Berger, Benjamin G. Zorn
JTRES
2010
ACM
15 years 2 months ago
Developing safety critical Java applications with oSCJ/L0
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...
Ales Plsek, Lei Zhao, Veysel H. Sahin, Daniel Tang...
SCAM
2003
IEEE
15 years 7 months ago
The Java System Dependence Graph
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...
Neil Walkinshaw, Marc Roper, Murray Wood
ATAL
2007
Springer
15 years 8 months ago
Practical extensions in agent programming languages
This paper proposes programming constructs to improve the practical application of existing BDI-based agent-oriented programming languages that have formal semantics. The proposed...
Mehdi Dastani, Dirk Hobo, John-Jules Ch. Meyer