Simulation of operational semantics of machine instructions

DOI10.1134/S0361768811030030zbMath1242.68072MaRDI QIDQ763568

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

requirementsoperational semantics of machine instructions

Mathematics Subject Classification ID

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

Uses Software

• Valgrind

Cites Work

• Dynamic program slicing

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