Layered Modes

Sandro Etalle, Maurizio Gabbrielli

Research output: Contribution to conferencePaperAcademic

9 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

Keywords

  • IR-56236

Cite this

Etalle, S., & Gabbrielli, M. (1996). Layered Modes. 41-52.