Execution traces and programming-language semantics

DOI10.1007/BF00998321zbMath0403.68013OpenAlexW2055128931MaRDI QIDQ4188708

Richard Hamlet

Publication date: 1977

Published in: International Journal of Computer & Information Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00998321

zbMATH Keywords

Programming Language SemanticsControl-FlowExecution Traces

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) General topics in the theory of software (68N01)

Cites Work

• Unnamed Item
• On formalised computer programs
• Characterizations of Reducible Flow Graphs
• Hilbert's Tenth Problem is Unsolvable
• A Machine-Independent Theory of the Complexity of Recursive Functions
• Debugging tools for high level languages
• Computability of Recursive Functions
• On Computable Numbers, with an Application to the Entscheidungsproblem

This page was built for publication: Execution traces and programming-language semantics