Typical Examples of Atoment Language Using

Autor:	I. S. Anureev
Jazyk:	English<br />Russian
Rok vydání:	2011
Předmět:	verification specification operational semantics axiomatic semantics transformational semantics domain-specific languages verification systems Information technology T58.5-58.64
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:	https://doaj.org/article/faecfb92e8e64c9aab881c15df039bf7 Zobrazit plný text záznamu View record in DOAJ