Cargando…

A Logic for Reflective ASMs

Reflective algorithms are algorithms that can modify their own behaviour. Recently a behavioural theory of reflective algorithms has been developed, which shows that they are captured by reflective abstract state machines (rASMs). Reflective ASMs exploit extended states that include an updatable rep...

Descripción completa

Detalles Bibliográficos
Autores principales: Schewe, Klaus-Dieter, Ferrarotti, Flavio
Formato: Online Artículo Texto
Lenguaje:English
Publicado: 2020
Materias:
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7242046/
http://dx.doi.org/10.1007/978-3-030-48077-6_7

Ejemplares similares