1799 search results - page 4 / 360 » The Logic of Correctness in Software Engineering |
PEPM
2010
ACM
14 years 4 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ļ...
FASE
2001
Springer
13 years 12 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
14 years 24 days ago
2004
ACM
PPOPP
2006
ACM
14 years 1 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 ...
WOSS
2004
ACM
14 years 24 days 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 ...