Layered Modes

Share/Save/Bookmark

Etalle, Sandro and Gabbrielli, Maurizio (1996) Layered Modes. In: Joint Conference on Declarative Programming, APPIA-GULP-PRODE 1996, July 15-18, 1996, Donostia-San Sebastian, Spain.

[img]
Preview
PDF
301Kb
Abstract: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 sung modes. In particular, we show that this extension allows us to better handle programs that employ a dynamic slection rule and programs that use incomplete data structures such as difference-lists.
Item Type:Conference or Workshop Item
Link to this item:http://purl.utwente.nl/publications/56236
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page