Equivalence of the schemes of programs based on the algebraic approach to setting the semantics of programming languages

Objectives. The paper deals with the equivalence of program schemes. According to A.A. Lyapunov and Yu.I. Yanov, the founders of this theory, a program scheme is understood as a program model wherein abstraction from contensive values of operators and expressions is performed. In this case, the prog...

Full description

Saved in:

Bibliographic Details
Published in:	Rossijskij tehnologičeskij žurnal Vol. 10; no. 1; pp. 18 - 27
Main Author:	Korablin, Y. P.
Format:	Journal Article
Language:	English Russian
Published:	MIREA - Russian Technological University 01.03.2022
Subjects:	equational characterization of the semantic meanings of programs equivalence of program schemes process semantics program scheme semantic domains
ISSN:	2782-3210, 2500-316X
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!