CAV
2005
Springer
14 years 5 months ago
2005
Springer
This paper presents a toolset for model checking x86 executables. The members of the toolset are CodeSurfer/x86, WPDS++, and the Path Inspector. CodeSurfer/x86 is used to extract a...
CAV
2005
Springer
14 years 5 months ago
2005
Springer
CAV
2005
Springer
14 years 5 months ago
2005
Springer
CAISE
2005
Springer
14 years 5 months ago
2005
Springer
Abstract. This paper uses a framework drawn from work in the philosophy of science to characterize the concepts of program correctness that have been used in software engineering, ...
TLDI
2005
ACM
14 years 5 months ago
2005
ACM
Two different ways of defining ad-hoc polymorphic operations commonly occur in programming languages. With the first form polymorphic operations are defined inductively on the...
TLDI
2005
ACM
14 years 5 months ago
2005
ACM
Coordinated data structures are sets of (perhaps unbounded) data structures where the nodes of each structure may share types with the corresponding nodes of the other structures....
TLDI
2005
ACM
14 years 5 months ago
2005
ACM
Atomicity is a fundamental correctness property in multithreaded programs. This paper presents an algorithm for verifying atomicity via type inference. The underlying type system ...
TLDI
2005
ACM
14 years 5 months ago
2005
ACM
Completely annotated lambda terms (such as are arrived at via the straightforward encodings of various types from System F) contain much redundant type information. Consequently, ...
TLDI
2005
ACM
14 years 5 months ago
2005
ACM
SEFM
2005
IEEE
14 years 5 months ago
2005
IEEE
The spoken language interface is now becoming an increasingly serious research topic with application to a wide range of highly engineered systems. Such systems not only include i...