2106 search results - page 177 / 422 » Operational Semantics for MSC'96 |
272
click to vote
POPL
2009
ACM
16 years 6 months ago
2009
ACM
The call-by-need lambda calculus provides an equational framework for reasoning syntactically about lazy evaluation. This paper examines its operational characteristics. By a seri...
183
click to vote
CAV
2009
Springer
16 years 6 months ago
2009
Springer
Abstract. Pseudo-code descriptions of STMs assume sequentially consistent program execution and atomicity of high-level STM operations like read, write, and commit. These assumptio...
137
click to vote
ICFP
2005
ACM
16 years 5 months ago
2005
ACM
Current languages allow a programmer to describe an interface only by enumerating its parts, possibly including other interfaces wholesale. Such languages cannot express relations...
155
click to vote
DEXA
2009
Springer
16 years 15 days ago
2009
Springer
Semantic Web technologies facilitate data integration over a large number of sources with decentralised and loose coordination, ideally leading to interlinked datasets which descri...
148
click to vote
MODELS
2009
Springer
16 years 14 days ago
2009
Springer
Variability management in operating systems is an errorprone and tedious task. This is especially true for the Linux operating system, which provides a specialized tool called Kco...