© 1980 by British Computer Society
| ||||||||||||||||||||||||||||||||||||||||||||||||||||
An approach to the detection of semantic errors
Isituto di Elettrotecnica, Universita di Genova, Viale Franceso Causa 13, Genova, Italy
This paper describes an algorithm for top-down syntactic and semantic analysis using LL(1) grammars. After a definition of attribute grammars, we introduce the concept of immediate identification of semantic errors, LL(1) grammars and a parsing algorithm which identifies a valid prefix when a semantic error is found.
Received November 1978. revised July 1979.
* Isituto di Elettrotecnica, Università di Genova, Viale Franceso Causa 13, 16145 Genova, Italy