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.
|Publication status||Published - 1996|
|Event||Joint Conference on Declarative Programming, APPIA-GULP-PRODE 1996 - Donostia-San Sebastian, Spain|
Duration: 15 Jul 1996 → 18 Jul 1996
|Conference||Joint Conference on Declarative Programming, APPIA-GULP-PRODE 1996|
|Period||15/07/96 → 18/07/96|
|Other||July 15-18, 1996|