Übersicht			Auf mobile öffnen

Lieferstatus:	i.d.R. innert 5-10 Tagen versandfertig
Veröffentlichung:	September 1980
Genre:	EDV / Informatik
	Compiler / Generation / Programmiersprachen / Semantics / Semantik / Turing / Übersetzer(EDV)
ISBN:	9783540102502
EAN-Code:	9783540102502
Verlag:	Springer
Einband:	Kartoniert
Sprache:	English
Dimensionen:	H 235 mm / B 155 mm / D 27 mm
Gewicht:	750 gr
Seiten:	500
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

Transforming denotational semantics into practical attribute grammars.- Compiler generation from denotational semantics.- From standard to implementation denotational semantics.- Specification of compilers as abstract data type representations.- More on advice on structuring compilers and proving them correct.- A constructive approach to compiler correctness.- Using category theory to design implicit conversions and generic operators.- On defining semantics by means of extended attribute grammars.- Tree-affix dendrogrammars for languages and compilers.- An implementation of affix grammars.- Experiences with the compiler writing system HLP.- Rule splitting and attribute-directed parsing.- Attribute-influenced LR parsing.- On the definition of an attribute grammar.- State transition machines for lambda-calculus expressions.- Semantic definitions in REFAL and automatic production of compilers.- On the formal definition of ADA.