1799 search results - page 2 / 360 » The Logic of Correctness in Software Engineering |
PEPM
1993
ACM
13 years 9 months ago
1993
ACM
For a functional programming language with a lazy standard semantics, we define a strictness analysis by means of abstract interpretation. Using the information from the strictne...
CADE
1997
Springer
13 years 9 months ago
1997
Springer
ICFP
2009
ACM
14 years 5 months ago
2009
ACM
We define logical relations between the denotational semantics of a simply typed functional language with recursion and the operational behaviour of low-level programs in a varian...
SEW
2003
IEEE
13 years 10 months ago
2003
IEEE
Run-time monitoring is a lightweight verification method whereby the correctness of a programs’ execution is verified at run-time using executable specifications. This paper des...
VSTTE
2005
Springer
13 years 10 months ago
2005
Springer