Reversible debugging in logic programming

DOI10.1007/978-3-031-31476-6_15zbMath1529.68074arXiv2007.16171OpenAlexW3046889311MaRDI QIDQ6175114

Germán Vidal

Publication date: 17 August 2023

Published in: Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2007.16171

Mathematics Subject Classification ID

Logic programming (68N17)

Cites Work

• Unnamed Item
• Unnamed Item
• Reversible computations in logic programming
• Irreversibility and Heat Generation in the Computing Process
• Concolic testing in logic programming
• Opium: an extendable trace analyzer for Prolog
• A Linear Operational Semantics for Termination and Complexity Analysis of ISO Prolog
• Causal-consistent replay debugging for message passing programs

This page was built for publication: Reversible debugging in logic programming