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 look at 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.
The research reported in this paper results from the project Behavioural Theory and Logics for Distributed Adaptive Systems supported by the Austrian Science Fund (FWF: [P26452-N15]).
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Abiteboul, S., Papadimitriou, C.H., Vianu, V.: Reflective relational machines. Inform. Comput. 143(2), 110–136 (1998)
Börger, E., Stärk, R.F.: Abstract State Machines: A Method for High-Level System Design and Analysis. Springer, Heidelberg (2003)
Van den Bussche, J., van Gucht, D., Vossen, G.: Reflective programming in the relational algebra. J. Comput. Syst. Sci. 52(3), 537–549 (1996)
Gurevich, Y.: Sequential abstract-state machines capture sequential algorithms. ACM Trans. Comput. Logic 1(1), 77–111 (2000)
Smith, B.C.: Reflection and semantics in LISP. In: Proceedings of the 11th ACMSIGACT-SIGPLAN Symposium on Principles of Programming Languages POPL 1984, pp. 23–35. ACM (1984)
Stemple, D., Fegaras, L., Stanton, R., Sheard, T., Philbrow, P., Cooper, R., Atkinson, M., Morrison, R., Kirby, G., Connor, R., Alagic, S.: Type-safe linguistic reflection: a generator technology. In: Atkinson, M., Welland, R. (eds.) Fully Integrated Data Environments. Esprit Basic Research Series, pp. 158–188. Springer, Berlin, Heidelberg (2000)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing Switzerland
About this paper
Cite this paper
Ferrarotti, F., Tec, L., Torres, J.M.T. (2016). Towards an ASM Thesis for Reflective Sequential Algorithms. In: Butler, M., Schewe, KD., Mashkoor, A., Biro, M. (eds) Abstract State Machines, Alloy, B, TLA, VDM, and Z. ABZ 2016. Lecture Notes in Computer Science(), vol 9675. Springer, Cham. https://doi.org/10.1007/978-3-319-33600-8_16
Download citation
DOI: https://doi.org/10.1007/978-3-319-33600-8_16
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-33599-5
Online ISBN: 978-3-319-33600-8
eBook Packages: Computer ScienceComputer Science (R0)