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

403 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

72 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

E-bok

72 kr

The Poetic Power of Theory

Leonie Wilms, N.D. Jones, Leslie A. Adelson, Richard Langston

E-bok

2019

478 kr

Signerad!

SIGNERAD - Hälsorevolutionen : nya insikter

Yourlife Books

Inbunden, 2026

259 kr

Nyhet

Exit Adventskalender - Julens magi (SE)

Exit

439 kr

Nyhet

Mina liv

Malena Ivarsson, Elin Cullhed

Inbunden, 2026

249 kr

Nyhet

Jag såg hur vi var stjärnor

Laleh Pourkarim

Inbunden, 2026

269 kr

Ruth Kvarnström-Jones - SIGNERAD - Systrarna på Sophiahemmet, Inbunden

Signerad!

Del 3

SIGNERAD - Systrarna på Sophiahemmet

Ruth Kvarnström-Jones

Inbunden, 2026

249 kr

-19%

Nattsäsong

Karolina Ramqvist

Inbunden, 2026

215 kr265 kr

-21%

Ha en nice dag

Mikael Yvesand

Inbunden, 2026

189 kr239 kr

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

403 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

E-bok

72 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