1799 search results - page 4 / 360 » The Logic of Correctness in Software Engineering |
109
click to vote
PEPM
2010
ACM
15 years 10 months ago
2010
ACM
We present two tools which together allow reasoning about (a substantial subset of) Haskell programs. One is the code generator of the proof assistant Isabelle, which turns speciļ...
115
click to vote
FASE
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. This paper describes a specialised logic for proving speciļ¬cations in the Java Modeling Language (JML). JML is an interface speciļ¬cation language for Java. It allows ...
ISSTA
2004
ACM
15 years 7 months ago
2004
ACM
105
click to vote
PPOPP
2006
ACM
15 years 7 months ago
2006
ACM
We study a family of implementations for linked lists using ļ¬negrain synchronisation. This approach enables greater concurrency, but correctness is a greater challenge than for ...
111
click to vote
WOSS
2004
ACM
15 years 7 months ago
2004
ACM
Currently, paradigms such as component-based software development and service-oriented software architectures promote modularization of software systems into highly decoupled and ...