RUS  ENG JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB
General information
Latest issue
Archive
Impact factor

Search papers
Search references

RSS
Latest issue
Current issues
Archive issues
What is RSS



Model. Anal. Inform. Sist.:
Year:
Volume:
Issue:
Page:
Find






Personal entry:
Login:
Password:
Save password
Enter
Forgotten password?
Register


Model. Anal. Inform. Sist., 2011, Volume 18, Number 4, Pages 7–20 (Mi mais194)  

This article is cited in 2 scientific papers (total in 2 papers)

Typical examples of Atoment language using

I. S. Anureev

A. P. Ershov Institute of Informatics Systems Sib. Br. RAS

Abstract: Atoment is a domain-specific language of executable specifications, used to describe methods and techniques of program verification. In this paper a collection of typical examples of the use of the Atoment language, covering topics such as program models, operational, transformational and axiomatic semantics, formal specification of programming languages is presented.

Keywords: verification, specification, operational semantics, axiomatic semantics, transformational semantics, domain-specific languages, verification systems.

Full text: PDF file (366 kB)
References: PDF file   HTML file
UDC: 519.681
Received: 09.10.2011

Citation: I. S. Anureev, “Typical examples of Atoment language using”, Model. Anal. Inform. Sist., 18:4 (2011), 7–20

Citation in format AMSBIB
\Bibitem{Anu11}
\by I.~S.~Anureev
\paper Typical examples of Atoment language using
\jour Model. Anal. Inform. Sist.
\yr 2011
\vol 18
\issue 4
\pages 7--20
\mathnet{http://mi.mathnet.ru/mais194}


Linking options:
  • http://mi.mathnet.ru/eng/mais194
  • http://mi.mathnet.ru/eng/mais/v18/i4/p7

    SHARE: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru


    Citing articles on Google Scholar: Russian citations, English citations
    Related articles on Google Scholar: Russian articles, English articles

    This publication is cited in the following articles:
    1. I. S. Anureev, “Na puti k tekhnologii razrabotki operatsionnoi semantiki kompyuternykh yazykov: unifitsirovannyi format pomechennykh sistem perekhodov”, Tr. SPIIRAN, 25 (2013), 255–276  mathnet
    2. I. S. Anureev, S. N. Baranov, D. M. Beloglazov, E. V. Bodin, P. D. Drobintsev, A. V. Kolchin, V. P. Kotlyarov, A. A. Letichevskii, A. A. Letichevskii, V. A. Nepomnyaschii, I. V. Nikiforov, S. V. Potienko, L. V. Priima, B. V. Tyutin, “Sredstva podderzhki integrirovannoi tekhnologii dlya analiza i verifikatsii spetsifikatsii telekommunikatsionnykh prilozhenii”, Tr. SPIIRAN, 26 (2013), 349–383  mathnet
  • Моделирование и анализ информационных систем
    Number of views:
    This page:149
    Full text:60
    References:23

     
    Contact us:
     Terms of Use  Registration  Logotypes © Steklov Mathematical Institute RAS, 2020