One approach to the specification and verification of translators (Q801659)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: One approach to the specification and verification of translators |
scientific article; zbMATH DE number 3880070
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | One approach to the specification and verification of translators |
scientific article; zbMATH DE number 3880070 |
Statements
One approach to the specification and verification of translators (English)
0 references
1983
0 references
An approach to specifying and verifying a translator is described using as an example the translator of a subset of BASIC. Facilities are listed for constructing formal specifications of the scanner, syntactic and semantic analyzer, and code generator. The method of inductive statements is used for verification. The correctness of the specifications is machine tested.
0 references
specification and verification of translators
0 references
verification of large programs
0 references
syntactic and semantic analyzer
0 references
correctness
0 references
