Typical Examples of Atoment Language Using
Autor: | I. S. Anureev |
---|---|
Jazyk: | English<br />Russian |
Rok vydání: | 2011 |
Předmět: | |
Zdroj: | Моделирование и анализ информационных систем, Vol 18, Iss 4, Pp 7-20 (2011) |
Druh dokumentu: | article |
ISSN: | 1818-1015 2313-5417 |
Popis: | 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. |
Databáze: | Directory of Open Access Journals |
Externí odkaz: |