933 search results - page 116 / 187 » Extending Forward Checking |
124
click to vote
ESOP
2011
Springer
14 years 4 months ago
2011
Springer
We present a static analysis by Abstract Interpretation to check for run-time errors in parallel C programs. Following our work on Astr´ee, we focus on embedded critical programs ...
120
click to vote
FOSSACS
2011
Springer
14 years 4 months ago
2011
Springer
Dependently typed programs contain an excessive amount of static terms which are necessary to please the type checker but irrelevant for computation. To obtain reasonable performan...
SCAM
2008
IEEE
15 years 7 months ago
2008
IEEE
Bug-checking tools have been used with some success in recent years to find bugs in software. For finding bugs that can cause security vulnerabilities, bug checking tools requir...
148
click to vote
GPCE
2007
Springer
15 years 7 months ago
2007
Springer
Most software applications use a relational database for data management and storage. Interaction with such a database is often done by letting the program construct strings with ...
100
click to vote
AOSD
2005
ACM
15 years 6 months ago
2005
ACM
Abstract. Research in the design of aspect-oriented programming languages requires a workbench that facilitates easy experimentation with new language features and implementation t...