632 search results - page 1 / 127 » Proving Invariants of Functional Programs |
SPLST
2003
13 years 6 months ago
2003
VMCAI
2005
Springer
13 years 10 months ago
2005
Springer
ICSE
1999
IEEE-ACM
13 years 8 months ago
1999
IEEE-ACM
ÐExplicitly stated program invariants can help programmers by identifying program properties that must be preserved when modifying code. In practice, however, these invariants are...
CL
2000
Springer
13 years 9 months ago
2000
Springer
How to extract negative information from programs is an important issue in logic programming. Here we address the problem for functional logic programs, from a proof-theoretic pers...
FLOPS
2010
Springer
13 years 3 months ago
2010
Springer
Injectivity is one of the important properties for functions while it is undecidable in general and decidable for linear treeless functions. In this paper, we show new sufficient c...