Publisher
Springer Nature Switzerland
Reference5 articles.
1. Börger, E., Gervasi, V.: Structures of Computing. A Guide to Practice-Oriented Theory. Springer, Cham (2024). https://doi.org/10.1007/978-3-031-54358-6
2. The CoreASM Project (2005). http://www.coreasm.org. https://github.com/CoreASM/coreasm.core/wiki/Documentation
3. Farahbod, R., Gervasi, V., Glässer, U.: CoreASM: an extensible ASM execution engine. Fundamenta Informaticae XXI 77(1-2), 71–103 (2007). http://dl.acm.org/citation.cfm?id=1365972.1365976
4. Gurevich, Y.: Sequential abstract state machines capture sequential algorithms. ACM Trans. Comput. Logic 1(1), 77–111 (2000)
5. Schewe, K.D., Ferrarotti, F.: Behavioural theory of reflective algorithms I: reflective sequential algorithms. Sci. Comput. Program. 223 (2022)