506 search results - page 9 / 102 » Visual Logic Programming Method Based on Structural Analysis... |
104
click to vote
IJCAI
1989
15 years 3 months ago
1989
Fold-unfold is a well known program transformation technique. Its major drawback is that folding requires an Eureka step to invent new procedures. In the context of logic programm...
119
click to vote
CAV
2007
Springer
15 years 8 months ago
2007
Springer
Bounded context switch reachability analysis is a useful and efficient approach for detecting bugs in multithreaded programs. In this paper, we address the application of this app...
116
Voted
ICLP
2005
Springer
15 years 8 months ago
2005
Springer
Any finite tree automaton (or regular type) can be used to construct act interpretation of a logic program, by first determinising and completing the automaton to get a pre-inter...
115
Voted
PEPM
2007
ACM
15 years 8 months ago
2007
ACM
Program query languages and pattern-detection techniques are an essential part of program analysis and manipulation systems. Queries and patterns permit the identification of the...
121
Voted
ICDAR
2009
IEEE
15 years 10 days ago
2009
IEEE
Layout analysis is a fundamental step in automatic document processing. Many different techniques have been proposed in literature to perform this task. These are broadly divided ...