1445 search results - page 73 / 289 » Uniformly Hard Languages |
TLDI
2010
ACM
14 years 7 months ago
2010
ACM
We present the design of a formal low-level multi-threaded language with advanced region-based memory management and synchronization primitives, where well-typed programs are memo...
IFIP
1998
Springer
14 years 2 months ago
1998
Springer
Current object-oriented development practice is centered around application frameworks. In this paper, we argue that this approach is misleading, as it distracts from the ultimate...
APLAS
2004
ACM
14 years 1 months ago
2004
ACM
A programming construct mixin was invented to implement uniform extensions and modifications to classes. Although mixin-based programming has been extensively studied both on the m...
ICALP
2010
Springer
14 years 2 months ago
2010
Springer
A discrete distribution D over Σ1 × · · · × Σn is called (non-uniform) k-wise independent if for any set of k indexes {i1, . . . , ik} and for any z1 ∈ Σi1 , . . . , zk ...
JAVA
1999
Springer
14 years 2 months ago
1999
Springer
While class-based object-oriented programming languages provide a flexible mechanism for re-using and managing related pieces of code, they typically lack linguistic facilities fo...