DocumentCode
2069687
Title
FORMAN-Program formal annotation language
Author
Auguston, Mikhail
Author_Institution
Inst. of Math. & Comput. Sci., Latvia Univ., Riga, Latvia
fYear
1991
fDate
28-29 May 1991
Firstpage
149
Lastpage
154
Abstract
The FORMAN formal annotation language is a tool for program testing, debugging, verification and documentation. It is based on a semantic model of target program execution. A sequence of events serves for this model. Assertions about data and control flows in this target program can be written in this language. Pattern matching and aggregate operations constitute the core of the language. Libraries of assertions can be used for program static and dynamic analysis, e.g., to check the presence of typical bugs
Keywords
formal languages; program debugging; program testing; FORMAN formal annotation language; aggregate operations; control flows; debugging; documentation; dynamic analysis; program testing; semantic model; target program execution; typical bugs; verification; Aggregates; Computer bugs; Computer languages; Computer science; Debugging; Documentation; Mathematics; Pattern matching; Software libraries; Testing;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Systems and Software Engineering, 1991. Proceedings., Fifth Israel Conference on
Conference_Location
Herzlia
Print_ISBN
0-8186-2065-X
Type
conf
DOI
10.1109/ICCSSE.1991.151186
Filename
151186
Link To Document