297 search results - page 49 / 60 » ATS: A Language That Combines Programming with Theorem Provi... |
270
Voted
POPL
2008
ACM
16 years 6 months ago
2008
ACM
We propose a novel approach to proving the termination of heapmanipulating programs, which combines separation logic with cyclic proof within a Hoare-style proof system. Judgement...
149
click to vote
PPDP
2007
Springer
15 years 12 months ago
2007
Springer
Non-confluent and non-terminating rewrite systems are interesting from the point of view of programming. In particular, existing functional logic languages use such kind of rewri...
139
Voted
FOAL
2009
ACM
16 years 11 days ago
2009
ACM
Programs of a software product line can be synthesized by composing features which implement some unit of program functionality. In most product lines, only some combination of fe...
162
Voted
PPOPP
2003
ACM
15 years 11 months ago
2003
ACM
We present a new method for dynamically detecting potential data races in multithreaded programs. Our method improves on the state of the art in accuracy, in usability, and in ove...
160
Voted
CIKM
2007
Springer
16 years 1 days ago
2007
Springer
Topological information plays a fundamental role in the human perception of spatial configurations and is thereby one of the most prominent geographical features in natural langu...