On a class of algebraic models of programs of practical interest

DOI10.1134/S0361768813030067zbMATH Open1301.68104MaRDI QIDQ395268

R. I. Podlovchenko

Publication date: 29 January 2014

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

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cites Work

• Technique of traces in solving the equivalence problem in algebraic program models
• A polynomial-time algorithm that recognizes the commutative equivalence of program schemata
• Complete systems of equivalent transformations in balanced semigroup models of programs with left cancellation

Related Items (2)

Title not available (Why is that?) ⋮ Structural models of algorithms in problems of applied programming. II: Structural-algorithmic approach to software simulation

This page was built for publication: On a class of algebraic models of programs of practical interest

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