16725 search results - page 579 / 3345 » Engineering Software Correctness |
237
click to vote
PLPV
2009
ACM
16 years 4 months ago
2009
ACM
We propose a new way to reason about general recursive functional programs in the dependently typed programming language Agda, which is based on Martin-L¨of’s intuitionistic ty...
186
click to vote
ECBS
2000
IEEE
15 years 11 months ago
2000
IEEE
The design of a large component-based software system typically involves the composition of different components. Instead of relying on a free composition of components, we advoca...
130
click to vote
ICSE
2003
IEEE-ACM
16 years 7 months ago
2003
IEEE-ACM
To address the problems of traditional software devel
214
click to vote
PADL
2005
Springer
16 years 18 days ago
2005
Springer
Abstract. Provably correct compilation is an important aspect in development of high assurance software systems. In this paper we explore approaches to provably correct code genera...