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)

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
• 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

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

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)