Layered modes


Etalle, Sandro and Gabbrielli, Maurizio (1999) Layered modes. The Journal of Logic Programming, 39 (1-3). pp. 225-244. ISSN 0743-1066

[img] PDF
Restricted to UT campus only
: Request a copy
Abstract:Modes were introduced in logic programming to differentiate the input arguments of a predicate from its output arguments. This information can be used for verifying the most diverse properties of logic programs notably absence of run-time errors and absence of dead-locks in presence of delay declarations. We introduce here layered modes, an extension of existing mode systems which allow us to enlarge the class of programs which can be verified by using modes. In particular, we show that this extension allows us to better handle programs that employ a dynamic selection rule and programs that use incomplete data structures such as difference-lists.
Item Type:Article
Copyright:© 1999 Elsevier Science Inc.
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Link to this item:
Official URL:
Export this item as:BibTeX
HTML Citation
Reference Manager


Repository Staff Only: item control page