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

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	Rossijskij tehnologičeskij žurnal Ročník 10; číslo 1; s. 18 - 27
Hlavní autor:	Korablin, Y. P.
Médium:	Journal Article
Jazyk:	angličtina ruština
Vydáno:	MIREA - Russian Technological University 01.03.2022
Témata:	equational characterization of the semantic meanings of programs equivalence of program schemes process semantics program scheme semantic domains
ISSN:	2782-3210, 2500-316X
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!