Smaus, J.G. and Hill, P. and King, A. (1999) Preventing instantiation errors and loops for logic programs with multiple modes using block declarations. In: 8th International Workshop on Logic-Based Program Synthesis and Transformation (LOPSTR 98), Jun 15-19, 1998, Manchester, England.
This paper presents several verification methods for logic programs with delay declarations. It is shown how type and instantiation errors related to built-ins can be prevented, and how termination can be ensured. Three features are distinctive of this work: it is assumed that predicates can be used in several modes; it is shown that block declarations, which are a very simple delay construct, are sufficient to ensure the desired properties; the selection rule is taken into account, assuming it to be the rule of most Prolog implementations. The methods can be used both to verify existing programs and to assist in writing new programs.
|Item Type:||Conference or workshop item (Paper)|
|Additional information:||Proceedings Paper Copyright Springer-Verlag, see http://www.springer.de./comp/lncs/index.html|
|Uncontrolled keywords:||Logic programming, delay declarations, block declarations, runtime errors, termination, modes|
|Subjects:||Q Science > QA Mathematics (inc Computing science) > QA 75 Electronic computers. Computer science
Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
|Divisions:||Faculties > Science Technology and Medical Studies > School of Computing
Faculties > Science Technology and Medical Studies > School of Computing > Theoretical Computing Group
|Depositing User:||F.D. Zabet|
|Date Deposited:||25 Mar 2009 19:07|
|Last Modified:||06 Sep 2011 02:06|
|Resource URI:||http://kar.kent.ac.uk/id/eprint/16629 (The current URI for this page, for reference purposes)|
- Depositors only (login required):