1588 search results - page 201 / 318 » Modular action language |
153
click to vote
ICFP
2005
ACM
16 years 4 months ago
2005
ACM
ML modules and Haskell type classes have proven to be highly effective tools for program structuring. Modules emphasize explicit configuration of program components and the use of...
133
click to vote
ESOP
2010
Springer
16 years 1 months ago
2010
Springer
Transient faults are single-shot hardware errors caused by high energy particles from space, manufacturing defects, overheating, and other sources. Such faults can be devastating f...
135
click to vote
ESOP
2009
Springer
15 years 10 months ago
2009
Springer
This paper explores the surprisingly rich design space for the simply typed lambda calculus with casts and a dynamic type. Such a calculus is the target intermediate language of th...
137
click to vote
ESOP
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Advanced multi-threaded programs apply concurrency concepts in sophisticated ways. For instance, they use fine-grained locking to increase parallelism and change locking...
125
click to vote
LPNMR
2009
Springer
15 years 10 months ago
2009
Springer
We develop a module-based framework for constraint modeling where it is possible to combine different constraint modeling languages and exploit their strengths in a flexible way. ...