1522 search results - page 182 / 305 » Practical Exception Specifications |
217
click to vote
ICFP
2009
ACM
16 years 2 months ago
2009
ACM
A number of important program rewriting scenarios can be recast as type-directed coercion insertion. These range from more theoretical applications such as coercive subtyping and ...
220
click to vote
ICFP
2009
ACM
16 years 2 months ago
2009
ACM
Purely functional programs should run well on parallel hardware because of the absence of side effects, but it has proved hard to realise this potential in practice. Plenty of pap...
235
click to vote
ECOOP
2009
Springer
16 years 2 months ago
2009
Springer
We present a type system for checking object immutability, read-only references, and class immutability in an open or closed world. To allow object initialization outside object co...
224
click to vote
ECOOP
2009
Springer
16 years 2 months ago
2009
Springer
Model-based development promises to increase productivity by offering modeling languages tailored to a specific domain. Such modeling languages are typically defined by a metamodel...
231
click to vote
CC
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. Clocks are a mechanism for providing synchronization barriers in concurrent programming languages. They are usually implemented using primitive communication mechanisms a...