Overview of the Languages for Safe Smart Contract Programming | Tyurin | Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS)

Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS)
Trudy Instituta sistemnogo programmirovaniâ

ISSN 2079-8156 (Print)
ISSN 2220-6426 (Online)

eng | рус

Preview

Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS)

Advanced search

Archives

Download this PDF file

For citations:

Tyurin A.V., Tyulyandin I.V., Maltsev V.S., Kirilenko J.A., Berezun D.A. Overview of the Languages for Safe Smart Contract Programming. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2019;31(3):157-176. https://doi.org/10.15514/ISPRAS-2019-31(3)-13

Creative Commons License

This work is licensed under a Creative Commons Attribution 4.0 License.

ISSN 2079-8156 (Print)
ISSN 2220-6426 (Online)

* not an advertisement

Indexing Databases

* not an advertisement

Popular articles

Editor-in-Chief

Academician Arutyun I. Avetisyan

Article Tools

How to cite item

Finding References

Email this article (Login required)

Email the author (Login required)

About the Authors

Alexey Valerievitch Tyurin
Saint Petersburg State University
Russian Federation

Software engineering chair, mathematics and mechanics faculty

Ivan Vladimirovitch Tyulyandin
Saint Petersburg State University
Russian Federation

Software engineering chair, mathematics and mechanics faculty

Vladimir S. Maltsev
Saint Petersburg State University
Russian Federation

Software engineering chair, mathematics and mechanics faculty

Jacob Alexandrovitch Kirilenko
Saint Petersburg State University
Russian Federation

Software engineering chair, mathematics and mechanics faculty

Daniil Andreevitch Berezun
Higher School of Economics National Research University
Russian Federation

Department of Computer Science at the Higher School of Economics.

Notifications