Towards an ASM thesis for reflective sequential algorithms

F. Ferrarotti, J. Turull Torres. Towards an ASM thesis for reflective sequential algorithms. volume 9676, pages 244-249, DOI 10.1007/978-3-319-33600-8_16, 5, 2016.

Autoren
  • Flavio Ferrarotti
  • Jose Maria Turull Torres
BuchAbstract State Machines, Alloy, B, TLA, VDM, and Z - Proc. ABZ 2016
TypIn Konferenzband
VerlagSpringer
SerieLecture Notes in Computer Science
Band9676
DOI10.1007/978-3-319-33600-8_16
ISBN978-3-319-33599-5
Monat5
Jahr2016
Seiten244-249
Abstract

Starting from Gurevich's thesis for sequential algorithms (the so-called \sequential ASM thesis"), we propose a characterization of the behaviour of sequential algorithms enriched with reflection. That is, we present a set of postulates which we conjecture capture the fundamental properties of reflective sequential algorithms (RSAs). Then we discuss the plausibility of an ASM thesis for the class of RSAs, defining a model of abstract state machine (which we call reflective ASM) that we conjecture captures the class of RSAs as defined by our postulates.