1151 search results - page 104 / 231 » Collaborative Programming: Applications of Logic and Automat... |
118
Voted
EMSOFT
2006
Springer
15 years 7 months ago
2006
Springer
A key problem for effective unit testing is the difficulty of partitioning large software systems into appropriate units that can be tested in isolation. We present an approach th...
149
Voted
NMELP
1994
15 years 7 months ago
1994
In this paper, we propose a new constructive characterization of those semantics for disjunctive logic programs which are extensions of the well-founded semantics for normal progra...
140
Voted
TPHOL
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract. Lightweight separation is a novel approach to automatic reasoning about memory updates in pointer programs. It replaces the spatial formulae of separation logic, which co...
143
Voted
KI
1990
Springer
15 years 7 months ago
1990
Springer
ue to a lack of abstraction in the formalization of deductive mechanisms involved in programming reasoning tools for the development of program synthesizers are not yet available. ...
144
Voted
ICLP
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. In this paper we show how we can use size and groundness analyses lifted to regular and (polymorphic) Hindley/Milner typed programs to determine more accurate termination...