Simulation of operational semantics of machine instructions

DOI10.1134/S0361768811030030zbMATH1242.68072MaRDI QIDQ763568FDOQ763568

Authors V. A. Padaryan, M. A. Solov'ev, A. I. Kononov

Publication date 12 March 2012

Published in Programming and Computer Software (Search for Journal in Brave)

zbMATH Keywords

operational semantics of machine instructionsrequirements

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Structuring operational semantics: simplification and computation
• scientific article; zbMATH DE number 2090728
• Fixpoint semantics and simulation
• From operational semantics to abstract machines
• scientific article; zbMATH DE number 139816
• Executable structural operational semantics in Maude
• Simulation of Turing machines by a left-linear rewrite rule
• scientific article; zbMATH DE number 1614684
• Operational semantics of task models

Cites work

• Dynamic program slicing

Cited in

(3)

• Operational semantics with semicommutations
• scientific article; zbMATH DE number 1670516 (Why is no real title available?)
• SIMD language design using prescriptive semantics

Describes a project that uses

Uses Software

• Valgrind

This page was built for publication: Simulation of operational semantics of machine instructions

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