3535 search results - page 332 / 707 » Logic Program Specialisation |
139
click to vote
ENTCS
2008
15 years 5 months ago
2008
In the book on Advanced Topics in Types and Programming Languages, Crary illustrates the reasoning technique of logical relations in a case study about equivalence checking. He pr...
142
click to vote
AMAST
1998
Springer
15 years 9 months ago
1998
Springer
Abstract. This paper proposes a tool to support reasoning about (partial) correctness of constraint logic programs. The tool infers a speci cation that approximates the semantics o...
266
click to vote
ISSTA
2012
ACM
13 years 7 months ago
2012
ACM
Multithreaded programs are notoriously prone to unintended interference between concurrent threads. To address this problem, we argue that yield annotations in the source code sho...
145
click to vote
ICFP
2003
ACM
16 years 5 months ago
2003
ACM
A three-year study collected information bearing on the question of whether studying mathematics improves programming skills. An analysis of the data revealed significant differen...
158
Voted
EEE
2005
IEEE
15 years 10 months ago
2005
IEEE
As the IT industry is becoming more and more interested in service oriented business models and upcoming technologies like Web Services or Grid Computing, the need for automated c...