1205 search results - page 40 / 241 » Program Extraction from Large Proof Developments |
ALT
1994
Springer
14 years 3 months ago
1994
Springer
This paper presents a method of extracting subprograms from background knowledge. Most studies on learning logic programs so far developed are mainly concerned with pure Prolog, so...
ISSTA
2010
ACM
13 years 11 months ago
2010
ACM
With the advent of increasingly larger parallel machines, debugging is becoming more and more challenging. In particular, applications at this scale tend to behave non-determinist...
GECCO
2008
Springer
14 years 1 days ago
2008
Springer
In the early days a policy was a set of simple rules with a clear intuitive motivation that could be formalised to good effect. However the world is becoming much more complex. S...
ICSE
2007
IEEE-ACM
14 years 11 months ago
2007
IEEE-ACM
Previous research has documented the fragmented nature of software development work, with frequent interruptions and coordination. To explain this in more detail, we analyzed soft...
CAISE
2010
Springer
14 years 2 days ago
2010
Springer
There is a large amount of data that is published on the Web and several techniques have been developed to extract and integrate data from Web sources. However, Web data are inhere...