Computable execution traces

DOI10.1007/978-3-030-88853-4_15OpenAlexW3202139019MaRDI QIDQ2148796

Declan Thompson

Publication date: 24 June 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-88853-4_15

zbMATH Keywords

computabilitymodels of computationexecution trace

Mathematics Subject Classification ID

Logic in computer science (03B70)

Related Items (1)

Execution trace sets for real computation

Cites Work

• Process logic: Expressiveness, decidability, completeness
• Linear Automaton Transformations
• Trace Semantics for IPDL
• Sequential abstract-state machines capture sequential algorithms
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Computable execution traces