2776 search results - page 89 / 556 » System-Level Abstraction Semantics |
131
click to vote
PPPJ
2009
ACM
15 years 11 months ago
2009
ACM
The problem of programming scalable multicore processors has renewed interest in message-passing languages and frameworks. Such languages and frameworks are typically actororiente...
150
click to vote
AMR
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The advent of digital photography calls for effective techniques for managing growing amounts of color images. Systems that only rely on low-level image features are now...
125
click to vote
IFL
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. J. Launchbury gave an operational semantics for lazy evaluation and showed that it is sound and complete w.r.t. a denotational s of the language. P. Sestoft then introduc...
136
click to vote
ICALP
2000
Springer
15 years 7 months ago
2000
Springer
We explain how recent developments in game semantics can be applied to reasoning about equivalence of terms in a non-trivial fragment of Idealized Algol (IA) by expressing sets of ...
123
click to vote
PLDI
2012
ACM
13 years 6 months ago
2012
ACM
In this article we present a general method for achieving global static analyzers that are precise, sound, yet also scalable. Our method generalizes the sparse analysis techniques...