Simulation of operational semantics of machine instructions

DOI10.1134/S0361768811030030zbMATH Open1242.68072MaRDI QIDQ763568FDOQ763568

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

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)

Cites Work

• Dynamic program slicing

Cited In (2)

• SIMD language design using prescriptive semantics
• Title not available (Why is that?)

Uses Software

• Valgrind

   Recommendations

• Structuring operational semantics: simplification and computation 👍 👎
• Title not available (Why is that?) 👍 👎
• Fixpoint semantics and simulation 👍 👎
• From operational semantics to abstract machines 👍 👎
• Title not available (Why is that?) 👍 👎
• Executable structural operational semantics in Maude 👍 👎
• Simulation of Turing machines by a left-linear rewrite rule 👍 👎
• Title not available (Why is that?) 👍 👎
• Operational semantics of task models 👍 👎

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)