Computable execution traces

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

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)

Cites Work

• Title not available (Why is that?)
• Sequential abstract-state machines capture sequential algorithms
• Linear Automaton Transformations
• Title not available (Why is that?)
• Process logic: Expressiveness, decidability, completeness
• Title not available (Why is that?)
• Trace Semantics for IPDL

Cited In (4)

• Source-Based Trace Exploration
• Title not available (Why is that?)
• Execution trace sets for real computation
• Title not available (Why is that?)

This page was built for publication: Computable execution traces

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