A. O. Zhukovskaja, D. A. Stefantsov, “Operational semantics for LYaPAS”, Prikl. Diskr. Mat. Suppl., 2015, Issue 8,Pages <nobr>131

This article is cited in 1 paper

Mathematical Foundations of Informatics and Programming

Operational semantics for LYaPAS

A. O. Zhukovskaja, D. A. Stefantsov

Tomsk State University, Tomsk

Abstract: The development of the operational semantics for LYaPAS is considered. The following two applications are possible: the proof of the complex-element references correctness by abstract interpretation method and the creation of a certified compiler.

Keywords: operational semantics, LYaPAS, abstract interpretation, certified compiler.

UDC: 519.681.2

DOI: 10.17223/2226308X/8/50