Towards an ASM thesis for reflective sequential algorithms
| Authors |
Flavio Ferrarotti Loredana Tec Jose Maria Turull Torres |
| Editors |
Michael Butler Klaus-Dieter Schewe Atif Mashkoor Miklós Biró |
| Title | Towards an ASM thesis for reflective sequential algorithms |
| Booktitle | Abstract State Machines, Alloy, B, TLA, VDM, and Z - Proc. ABZ 2016 |
| Type | in proceedings |
| Publisher | Springer |
| Series | Lecture Notes in Computer Science |
| Volume | 9676 |
| ISBN | 978-3-319-33599-5 |
| DOI | 10.1007/978-3-319-33600-8_16 |
| Month | May |
| Year | 2016 |
| Pages | 244-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. |