Typical Examples of Atoment Language Using
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...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Yaroslavl State University
2011-12-01
|
| Series: | Моделирование и анализ информационных систем |
| Subjects: | |
| Online Access: | https://www.mais-journal.ru/jour/article/view/1094 |
| _version_ | 1797877985656700928 |
|---|---|
| author | I. S. Anureev |
| author_facet | I. S. Anureev |
| author_sort | I. S. Anureev |
| collection | DOAJ |
| description | 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. |
| first_indexed | 2024-04-10T02:25:32Z |
| format | Article |
| id | doaj.art-faecfb92e8e64c9aab881c15df039bf7 |
| institution | Directory Open Access Journal |
| issn | 1818-1015 2313-5417 |
| language | English |
| last_indexed | 2024-04-10T02:25:32Z |
| publishDate | 2011-12-01 |
| publisher | Yaroslavl State University |
| record_format | Article |
| series | Моделирование и анализ информационных систем |
| spelling | doaj.art-faecfb92e8e64c9aab881c15df039bf72023-03-13T08:07:31ZengYaroslavl State UniversityМоделирование и анализ информационных систем1818-10152313-54172011-12-01184720835Typical Examples of Atoment Language UsingI. S. Anureev0Институт систем информатики имени А.П. Ершова СО РАН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.https://www.mais-journal.ru/jour/article/view/1094верификацияспецификацияоперационная семантикааксиоматическая семантикатрансформационная семантикапредметно-ориентированные языкисистемы верификации |
| spellingShingle | I. S. Anureev Typical Examples of Atoment Language Using Моделирование и анализ информационных систем верификация спецификация операционная семантика аксиоматическая семантика трансформационная семантика предметно-ориентированные языки системы верификации |
| title | Typical Examples of Atoment Language Using |
| title_full | Typical Examples of Atoment Language Using |
| title_fullStr | Typical Examples of Atoment Language Using |
| title_full_unstemmed | Typical Examples of Atoment Language Using |
| title_short | Typical Examples of Atoment Language Using |
| title_sort | typical examples of atoment language using |
| topic | верификация спецификация операционная семантика аксиоматическая семантика трансформационная семантика предметно-ориентированные языки системы верификации |
| url | https://www.mais-journal.ru/jour/article/view/1094 |
| work_keys_str_mv | AT isanureev typicalexamplesofatomentlanguageusing |