1911 search results - page 12 / 383 » Program analysis for code duplication in logic programs |
JELIA
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. We present the design of our implemented modal logic programming system MProlog. This system is written in Prolog as a module for Prolog. Codes, libraries, and most featu...
KES
2008
Springer
13 years 8 months ago
2008
Springer
This paper presents ontology-based architecture for pattern recognition in the context of static source code analysis. The proposed system has three subsystems: parser, OWL ontolog...
TOOLS
1998
IEEE
14 years 20 days ago
1998
IEEE
Program information extracted from source codes is valuable for research in many software engineering fields. Many program analysis tools in these fields usually share some common...
ACMSE
2006
ACM
13 years 10 months ago
2006
ACM
A code clone represents a sequence of statements that are duplicated in multiple locations of a program. Clones often arise in source code as a result of multiple cut/paste operat...
SIGSOFT
2007
ACM
14 years 9 months ago
2007
ACM
Asynchronous systems components are hard to write, hard to reason about, and (not coincidentally) hard to mechanically verify. In order to achieve high performance, asynchronous c...