655 search results - page 5 / 131 » On Flat Programs with Lists |
CORR
2010
Springer
13 years 7 months ago
2010
Springer
CIKM
2010
Springer
13 years 6 months ago
2010
Springer
ICALP
2000
Springer
13 years 11 months ago
2000
Springer
The list update problem is a classical online problem, with an optimal competi
SNPD
2003
13 years 9 months ago
2003
This paper introduces accumulation into list homomorphisms for systematic development of both efficient and correct parallel programs. New parallelizable recursive pattern called...
POPL
2006
ACM
14 years 8 months ago
2006
ACM
We describe a novel method for verifying programs that manipulate linked lists, based on two new predicates that characterize reachability of heap cells. These predicates allow re...