Search Sciweavers | Sciweavers

655 search results - page 2 / 131

» On Flat Programs with Lists

click to vote

VSTTE
2012
Springer

251views Software Engineering» more VSTTE 2012»

Deciding Functional Lists with Sublist Sets

12 years 3 months ago

Download lara.epfl.ch

Motivated by the problem of deciding veriﬁcation conditions for the veriﬁcation of functional programs, we present new decision procedures for automated reasoning about functio...

Thomas Wies, Marco Muñiz, Viktor Kuncak

claim paper

Read More »

click to vote

PPDP
2010
Springer

147views Programming Languages» more PPDP 2010»

Semantics-preserving translations between linear concurrent constraint programming and constraint handling rules

13 years 5 months ago

Download contraintes.inria.fr

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...

Thierry Martinez

claim paper

Read More »

click to vote

ICALP
1991
Springer

99views Programming Languages» more ICALP 1991»

Logical and Computational Aspects of Programming with Sets/Bags/Lists

13 years 11 months ago