90 search results - page 12 / 18 » Abstracting Pointers for a Verifying Compiler |
98
Voted
IEEEPACT
2000
IEEE
15 years 6 months ago
2000
IEEE
ÐThis paper presents a multithreaded abstract machine for the TyCO process calculus. We argue that process calculi provide a powerful framework to reason about fine-grained parall...
139
click to vote
CAV
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Concurrent data structures with fine-grained synchronization are notoriously difficult to implement correctly. The difficulty of reasoning about these implementations do...
129
click to vote
CJ
2010
14 years 11 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...
127
Voted
ICIW
2007
IEEE
15 years 5 months ago
2007
IEEE
Abstract-- Maintaining large websites and verifying their semantic content is a difficult task. In this paper we propose a framework for syntactic validation, semantic verification...
124
Voted
TPHOL
2008
IEEE
15 years 8 months ago
2008
IEEE
Slicing is a widely-used technique with applications in e.g. compiler technology and software security. Thus verification of algorithms in these areas is often based on the correc...