Geodesic
Operational semantics for LYaPAS
Prikladnaya Diskretnaya Matematika. Supplement, no. 8 (2015), pp. 131-132

Voir la notice de l'article provenant de la source Math-Net.Ru

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, abstract interpretation, certified compiler.
Mots-clés : LYaPAS 
@article{PDMA_2015_8_a49,
     author = {A. O. Zhukovskaja and D. A. Stefantsov},
     title = {Operational semantics for {LYaPAS}},
     journal = {Prikladnaya Diskretnaya Matematika. Supplement},
     pages = {131--132},
     publisher = {mathdoc},
     number = {8},
     year = {2015},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/PDMA_2015_8_a49/}
}
TY  - JOUR
AU  - A. O. Zhukovskaja
AU  - D. A. Stefantsov
TI  - Operational semantics for LYaPAS
JO  - Prikladnaya Diskretnaya Matematika. Supplement
PY  - 2015
SP  - 131
EP  - 132
IS  - 8
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/PDMA_2015_8_a49/
LA  - ru
ID  - PDMA_2015_8_a49
ER  - 
%0 Journal Article
%A A. O. Zhukovskaja
%A D. A. Stefantsov
%T Operational semantics for LYaPAS
%J Prikladnaya Diskretnaya Matematika. Supplement
%D 2015
%P 131-132
%N 8
%I mathdoc
%U http://geodesic.mathdoc.fr/item/PDMA_2015_8_a49/
%G ru
%F PDMA_2015_8_a49
A. O. Zhukovskaja; D. A. Stefantsov. Operational semantics for LYaPAS. Prikladnaya Diskretnaya Matematika. Supplement, no. 8 (2015), pp. 131-132. http://geodesic.mathdoc.fr/item/PDMA_2015_8_a49/