1914 search results - page 290 / 383 » Verification by Abstract Interpretation |
100
Voted
COMPUTER
2008
15 years 23 days ago
2008
higher, more appropriate, level of abstraction. It still entails writing programs, usually by using symbols, keywords, and operational instructions to tell the computer what we wan...
108
click to vote
CORR
2010
Springer
15 years 22 days ago
2010
Springer
Abstract. Static analysis is a powerful technique for automatic verification of programs but raises major engineering challenges when developing a full-fledged analyzer for a reali...
107
Voted
CORR
2010
Springer
15 years 22 days ago
2010
Springer
Space is a spatial programming language designed to exploit the massive parallelism available in a formal model of computation called the Synchronic A-Ram, and physically related ...
115
Voted
ENTCS
2008
15 years 22 days ago
2008
Several recent research efforts have focused on the dynamic aspects of software architectures providing suitable models and techniques for handling the run-time modification of th...
124
Voted
FAC
2008
15 years 21 days ago
2008
Abstract. Slicing is a program analysis technique that was originally introduced to improve program debugging and understanding. The purpose of a slicing algorithm is to remove the...