Layered Modes

Sandro Etalle, Maurizio Gabbrielli

Research output: Contribution to conferencePaper

8 Downloads (Pure)

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.
Original languageUndefined
Pages41-52
Publication statusPublished - 1996
EventJoint Conference on Declarative Programming, APPIA-GULP-PRODE 1996 - Donostia-San Sebastian, Spain
Duration: 15 Jul 199618 Jul 1996

Conference

ConferenceJoint Conference on Declarative Programming, APPIA-GULP-PRODE 1996
Period15/07/9618/07/96
OtherJuly 15-18, 1996

Keywords

  • IR-56236

Cite this