1799 search results - page 25 / 360 » The Logic of Correctness in Software Engineering |
130
click to vote
TLDI
2005
ACM
15 years 7 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 ...
129
click to vote
SOCO
2002
Springer
15 years 1 months ago
2002
Springer
Retrieving relevant information is a crucial component of cased-based reasoning systems for Internet applications such as search engines. The task is to use user-defined queries to...
119
click to vote
VMCAI
2012
Springer
13 years 9 months ago
2012
Springer
We describe a course on the semantics of a simple imperative programming language and on applications to compilers, type systems, static analyses and Hoare logic. The course is ent...
118
click to vote
FOSSACS
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. Among the branching-time temporal logics used for the specification and verification of systems, CTL+ , FCTL and ECTL+ are the most notable logics for which the precise...
129
click to vote
ICSE
2003
IEEE-ACM
15 years 7 months ago
2003
IEEE-ACM
Improvements in the software development process depend on our ability to collect and analyze data drawn from various phases of the development life cycle. Our design metrics rese...