Title :
FORMAN-Program formal annotation language
Author :
Auguston, Mikhail
Author_Institution :
Inst. of Math. & Comput. Sci., Latvia Univ., Riga, Latvia
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;
Conference_Titel :
Computer Systems and Software Engineering, 1991. Proceedings., Fifth Israel Conference on
Conference_Location :
Herzlia
Print_ISBN :
0-8186-2065-X
DOI :
10.1109/ICCSSE.1991.151186
