16 search results - page 2 / 4 » A Framework for Microprocessor Correctness Statements |
OOPSLA
2007
Springer
14 years 1 months ago
2007
Springer
Unit testing frameworks like JUnit are a popular and effective way to prevent developer bugs. We are investigating two ways of building on these frameworks to prevent more bugs wi...
ENTCS
2002
13 years 7 months ago
2002
The paper presents approaches to the validation of optimizing compilers. The emphasis is on aggressive and architecture-targeted optimizations which try to obtain the highest perf...
BIRTHDAY
2010
Springer
13 years 5 months ago
2010
Springer
In this case study we describe an approach to a general logical framework for tracking evidence within epistemic contexts. We consider as basic an example which features two justi...
TCC
2004
Springer
14 years 23 days ago
2004
Springer
Abstract. We present a general method to prove security properties of cryptographic protocols against active adversaries, when the messages exchanged by the honest parties are arbi...
ISSTA
1989
ACM
13 years 11 months ago
1989
ACM
The Inscape Environment research project addresses issues in supporting the development of large systems by large numbers of programmers. One aspect of this research is the ‘‘...