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

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

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)