1760 search results - page 170 / 352 » A System to Mark Programs Automatically |
120
click to vote
PLDI
2010
ACM
15 years 6 months ago
2010
ACM
We describe an automatic verification method to check whether transactional memories ensure strict serializability--a key property assumed of the transactional interface. Our main...
155
click to vote
CAISE
2004
Springer
15 years 8 months ago
2004
Springer
Modeling languages have been evolving at a high pace, encouraging the use of automatic code generators for transforming models to programs. Automatic code generators should enable ...
121
click to vote
ESOP
2010
Springer
16 years 17 days ago
2010
Springer
Abstract. We present a framework that automatically produces suggestions to resolve type errors in security-typed programs, enabling legacy code to be retrofit with comprehensive s...
148
click to vote
RTA
2007
Springer
15 years 9 months ago
2007
Springer
This paper shows how to construct static analyzers using tree automata and rewriting techniques. Starting from a term rewriting system representing the operational semantics of the...
130
click to vote
FASE
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Blast is an automatic verification tool for checking temporal safety properties of C programs. Given a C program and a temporal safety property, Blast statically proves ...