Typical examples of using the atoment language |
| |
| Authors: | I S Anureev |
| |
| Affiliation: | 1. A.P. Ershov Institute of Informatics Systems, Siberian Branch, Russian Academy of Sciences, Novosibirsk, Russia
|
| |
| Abstract: | Atoment is a domain-specific language of executable specifications applied to describe methods and techniques of program verification. In this paper, a series of typical examples of using the Atoment language covering program models; the operational, transformational, and axiomatic semantics; and the formal specification of programming languages is presented. |
| |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ |
|
