2604 search results - page 52 / 521 » General constant expressions for system programming language... |
147
Voted
PLDI
2011
ACM
14 years 6 months ago
2011
ACM
Information flow is an important security property that must be incorporated from the ground up, including at hardware design time, to provide a formal basis for a system’s roo...
235
click to vote
ICFP
2009
ACM
16 years 4 months ago
2009
ACM
We describe the implementation of first-class polymorphic delimited continuations in the programming language Scala. We use Scala's pluggable typing architecture to implement...
218
Voted
POPL
2003
ACM
16 years 3 months ago
2003
ACM
Ownership types provide a statically enforceable way of specifying object encapsulation and enable local reasoning about program correctness in object-oriented languages. However,...
158
Voted
ICLP
2004
Springer
15 years 8 months ago
2004
Springer
We introduce our implemented modal logic programming system MProlog. This system is written in Prolog as a module for Prolog. Codes, libraries, and most features of Prolog can be u...
139
Voted
PLDI
2003
ACM
15 years 8 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 ...