Abstract | ||
---|---|---|
A methodology for constructing definite programs is presented. This presentation consists of two parts. The first part is the writing of an initial specification in Horn clauses form. In this part some paradigms of construction are outlined. The specification obtained is moded and typed; moreover it has some important specific qualities: structure, clearness, correctness and executability. However the initial specification is generally not efficient. For this reason the second part of the presentation is the stage of transformation. In this part some strategies based on folding, unfolding and generation of schemata are presented. |
Year | DOI | Venue |
---|---|---|
1997 | 10.3233/FI-1997-29301 | Fundam. Inform. |
Keywords | Field | DocType |
important specific quality,definite program,horn clauses form,initial specification,logic program,constructing logic programs,folding,transformation,correctness,strategy,static analysis,type,property | Discrete mathematics,Programming language,Horn clause,Computer science,Static analysis,Correctness,Theoretical computer science,Schema (psychology) | Journal |
Volume | Issue | Citations |
29 | 3 | 1 |
PageRank | References | Authors |
0.37 | 11 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Francis Alexandre | 1 | 14 | 2.89 |
K. Bsaïes | 2 | 45 | 12.46 |