655 search results - page 2 / 131 » On Flat Programs with Lists |
VSTTE
2012
Springer
13 years 5 months ago
2012
Springer
Motivated by the problem of deciding verification conditions for the verification of functional programs, we present new decision procedures for automated reasoning about functio...
PPDP
2010
Springer
14 years 7 months ago
2010
Springer
The Constraint Simplification Rules (CSR) subset of CHR and the flat subset of LCC, where agent nesting is restricted, are very close syntactically and semantically. The first con...
61
Voted
ICALP
1991
Springer
15 years 1 months ago
1991
Springer
PLDI
1992
ACM
15 years 1 months ago
1992
ACM
HASKELL
2007
ACM
15 years 1 months ago
2007
ACM