2661 search results - page 271 / 533 » A Semantics for Abstraction |
207
click to vote
CJ
2010
15 years 4 months ago
2010
Abstract. Semantics-based program analysis uses an abstract semantics of programs/systems to statically determine run-time properties. Classic examples from compiler technology inc...
166
click to vote
PLDI
2012
ACM
13 years 9 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...
180
Voted
CAV
2008
Springer
15 years 8 months ago
2008
Springer
This paper proposes a new approach for deriving invariants that are systems of congruence equations where the modulo is a power of 2. The technique is an amalgam of SAT-solving, wh...
187
click to vote
ICDE
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract— Existing semantic integration approaches to coordinating data do not meet the needs of real world scenarios which contain fine-grained relationships between data sourc...
164
click to vote
FORTE
2008
15 years 8 months ago
2008
Abstract. The Signal Calculus is an asynchronous process calculus featuring multicast communication. It relies on explicit modeling of the communication structure of the network (c...