5415 search results - page 688 / 1083 » The Implementation of Functional Programming Languages |
196
click to vote
ECOOP
2011
Springer
14 years 6 months ago
2011
Springer
Object ownership is useful for many applications, including program verification, thread synchronization, and memory management. However, the annotation overhead of ownership type...
213
click to vote
ICFP
2012
ACM
13 years 9 months ago
2012
ACM
When termination of a program is observable by an adversary, confidential information may be leaked by terminating accordingly. While this termination covert channel has limited ...
191
click to vote
TOOLS
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract. Many real-time systems use runtime structural reconfiguration mechanisms based on dynamic creation and destruction of components. To support such features, UML-RT provid...
174
click to vote
ASPLOS
2000
ACM
15 years 11 months ago
2000
ACM
We systematically evaluate the performance of five implementations of a single, user-level communication interface. Each implementation makes different architectural assumptions ...
178
click to vote
CORR
1999
Springer
15 years 6 months ago
1999
Springer
Most debuggers are notoriously machine-dependent, but some recent research prototypes achieve varying degrees of machine-independence with novel designs. Cdb, a simple source-leve...