Complete systems of equivalent transformations in balanced semigroup models of programs with left cancellation

DOI10.1134/S0361768810030011zbMath1251.68079MaRDI QIDQ1758669

R. I. Podlovchenko

Publication date: 16 November 2012

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

zbMATH Keywords

program transformationsequivalent transformationsfunctional equivalencealgebraic program modelsapproximating modelscheme equivalence problemsemantic program properties

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Theory of software (68N99)

Related Items (1)

On a class of algebraic models of programs of practical interest

Cites Work

• Unnamed Item
• Equivalent transformations of program schemes for ``Entangling programs

This page was built for publication: Complete systems of equivalent transformations in balanced semigroup models of programs with left cancellation