Semantics-Directed Compiler Generation

Proceedings of a Workshop, Aarhus, Denmark, January 14-18, 1980

AvN.D. Jones

Häftad, Engelska, 1980

Del i serien Lecture Notes in Computer Science

395 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Produktinformation

Utgivningsdatum:1980-09-01
Mått:155 x 235 x 27 mm
Vikt:750 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:490
Upplaga:1980
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540102502

Utforska kategorier

Programmeringsböcker inom Data och IT

Innehållsförteckning

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.

Du kanske också är intresserad av

Afromyth Volume 2: A Fantasy Collection

J.S. Emuakpor, Akil Wingate, Michael W. Cho, T. W. Cox, DJ Tyrer, Rose Strickman, Alanna Robertson-Webb, Michele Tracy Berger, Michelle Mellon, Mikal Trimm, Nicole Givens Kurtz, Lela E. Buis, N.D. Jones

E-bok

70 kr

AfroMyth: A Fantasy Collection

Darrel Duckworth, Lela E. Buis, James Pyne, Mallory St. Cloud, Gary Priest, Marija Smits, Sarah L. Byrne, Clive Tern, Brittney Sankofa, N.D. Jones, J.S. Emuakpor