7124 search results - page 430 / 1425 » Programming Languages and Operating Systems |
209
Voted
PLDI
2009
ACM
16 years 2 months ago
2009
ACM
Program errors are a source of information leaks. Tracking these leaks is hard because error propagation breaks out of program structure. Programming languages often feature excep...
169
Voted
CL
2006
Springer
15 years 7 months ago
2006
Springer
Meta programming is the act of reasoning about a computational system. For example, a program in Prolog can reason about a program written in Smalltalk. Reflection is a more power...
206
click to vote
PLDI
2003
ACM
16 years 21 days 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 ...
215
Voted
ECOOP
2012
Springer
13 years 10 months ago
2012
Springer
Ownership type systems describe a heap topology and enforce an encapsulation discipline; they aid in various program correctness and understanding tasks. However, the annotation ov...
176
Voted
PERCOM
2008
ACM
16 years 7 months ago
2008
ACM
In this paper, we present a domain-specific Interface Definition Language (IDL) and its compiler, dedicated to the development of pervasive computing applications. Our IDL provide...