Zusammenfassung
Einige Eigenschaften von Programmen sind nicht durch kontextfreie Grammatiken beschreibbar. Diese Eigenschaften werden durch Kontextbedingungen beschrieben. Die wichtigsten Beispiele für Kontextbedingungen sind Anforderungen an die Deklariertheit von Bezeichnern und die Typkonsistenz. Grundlegend für diese Anforderungen sind die Regeln der Programmiersprache für die Deklariertheit, die Gültigkeit und die Sichtbarkeit von Bezeichnern (engl. Identifier).
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Author information
Authors and Affiliations
Corresponding authors
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Wilhelm, R., Seidl, H., Hack, S. (2012). Semantische Analyse. In: Übersetzerbau. eXamen.press. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-01135-1_4
Download citation
DOI: https://doi.org/10.1007/978-3-642-01135-1_4
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-01134-4
Online ISBN: 978-3-642-01135-1
eBook Packages: Computer Science and Engineering (German Language)