|
This article is cited in 1 scientific paper (total 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.
Citation:
A. O. Zhukovskaja, D. A. Stefantsov, “Operational semantics for LYaPAS”, Prikl. Diskr. Mat. Suppl., 2015, no. 8, 131–132
Linking options:
https://www.mathnet.ru/eng/pdma254 https://www.mathnet.ru/eng/pdma/y2015/i8/p131
|
Statistics & downloads: |
Abstract page: | 149 | Full-text PDF : | 46 | References: | 20 |
|