A Logic for Reflective ASMs

DOI10.1007/978-3-030-48077-6_7MaRDI QIDQ5040368zbMATH OpenOpenAlexFDO

Authors Klaus-Dieter Schewe, Flavio Ferrarotti

Publication date 14 October 2022

Published in Rigorous State-Based Methods (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-030-48077-6_7

zbMATH Keywords

abstract state machinelogicreflectiontree algebra

Mathematics Subject Classification ID

Logic in computer science (03B70) Classical models of computation (Turing machines, etc.) (68Q04) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Reflection principles in computational logic
• Practical reflection for sequent logics
• Computational reflection via mechanized logical deduction
• scientific article; zbMATH DE number 1231672
• Reflection in conditional rewriting logic
• Logics with definitional reflection rules
• scientific article; zbMATH DE number 432706
• A refinement calculus for logic programs

Cites work

• A behavioural theory for reflective sequential algorithms
• A complete logic for database abstract state machines
• A new thesis concerning synchronised parallel computing -- simplified parallel ASM thesis
• Abstract State Machines
• scientific article; zbMATH DE number 1841822 (Why is no real title available?)
• Reflective programming in the relational algebra
• XML database transformations

Cited in

(4)

• Computation on structures. Behavioural theory, logic, complexity
• A behavioural theory for reflective sequential algorithms
• Distributed Adaptive Systems
• Abstract State Machines 2004. Advances in Theory and Practice

This page was built for publication: A Logic for Reflective ASMs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5040368)