X
feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
  • 1
    Online Resource
    Online Resource
    Semantics-directed compiler generation : proceedings of a workshop, Aarhus, Denmark, January 14 - 18, 1980 (1980)
    Berlin [u.a.] : Springer
    Details
    UID:
    gbv_595132278
    Format: Online-Ressource (IV, 489 S.)
    Edition: Online-Ausg. Berlin [u.a.] Springer 2006 Springer lecture notes archive
    ISBN: 9783540383390
    Series Statement: Lecture notes in computer science 94
    Content: 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.
    Note: Literaturangaben
    Additional Edition: ISBN 3540102507
    Additional Edition: ISBN 0387102507
    Additional Edition: ISBN 9783540102502
    Additional Edition: Erscheint auch als Druck-Ausgabe Semantics-directed compiler generation Berlin : Springer, 1980 ISBN 3540102507
    Additional Edition: ISBN 0387102507
    Language: English
    Subjects: Computer Science
    RVK:
    SS 4800
    Keywords: Compiler ; Compiler ; Compiler ; Semantik ; Compiler ; Programmiersprache ; Semantik ; Konferenzschrift
    DOI: 10.1007/3-540-10250-7
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (lizenzpflichtig)
    URL: lizenzpflichtig
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Online Access
    Open Access Request
    Stabi Berlin
    UB Potsdam
  • 2
    Book
    Book
    Semantics-directed compiler generation : proceedings of a workshop, Aarhus, Denmark, January 14 - 18, 1980 ; [Workshop on Semantics-Directed Compiler Generation] (1980)
    Berlin : Springer
    Details
    UID:
    gbv_039893774
    Format: IV, 489 S. , graph. Darst.
    ISBN: 3540102507 , 0387102507
    Series Statement: Lecture notes in computer science 94
    Note: Literaturangaben
    Additional Edition: Online-Ausg. Semantics-directed compiler generation Berlin [u.a.] : Springer, 1980 ISBN 9783540383390
    Additional Edition: Erscheint auch als Online-Ausgabe Jones, N.D. Semantics-Directed Compiler Generation Berlin, Heidelberg : Springer Berlin Heidelberg, 1980 ISBN 9783540383390
    Language: English
    Subjects: Computer Science
    RVK:
    SS 4800
    Keywords: Compiler ; Compiler ; Compiler ; Semantik ; Compiler ; Programmiersprache ; Semantik ; Konferenzschrift
    URL: Cover
    Author information: Jones, Neil D. 1941-
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Book
    Stabi Berlin get availability status
  • 3
    Online Resource
    Online Resource
    Semantics-Directed Compiler Generation : Proceedings of a Workshop Aarhus, Denmark, January 1980 (1980)
    Berlin, Heidelberg :Springer Berlin Heidelberg,
    Details
    UID:
    almahu_9947920853902882
    Format: V, 490 p. , online resource.
    ISBN: 9783540383390
    Series Statement: Lecture Notes in Computer Science, 94
    Note: 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.
    In: Springer eBooks
    Additional Edition: Printed edition: ISBN 9783540102502
    Language: English
    DOI: 10.1007/3-540-10250-7
    URL: http://dx.doi.org/10.1007/3-540-10250-7
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Open Access Request
    HU Berlin
  • 4
    Online Resource
    Online Resource
    Semantics-Directed Compiler Generation : Proceedings of a Workshop, Aarhus, Denmark, January 14-18, 1980 (1980)
    Berlin, Heidelberg :Springer Berlin Heidelberg :
    Details
    UID:
    almahu_9948621351602882
    Format: V, 490 p. , online resource.
    Edition: 1st ed. 1980.
    ISBN: 9783540383390
    Series Statement: Lecture Notes in Computer Science, 94
    Note: 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.
    In: Springer Nature eBook
    Additional Edition: Printed edition: ISBN 9783662173060
    Additional Edition: Printed edition: ISBN 9783540102502
    Language: English
    DOI: 10.1007/3-540-10250-7
    URL: https://doi.org/10.1007/3-540-10250-7
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Open Access Request
    HU Berlin
  • 5
    Online Resource
    Online Resource
    Semantics-Directed Compiler Generation : Proceedings of a Workshop, Aarhus, Denmark, January 14-18, 1980 (1980)
    Berlin, Heidelberg :Springer Berlin Heidelberg :
    Details
    UID:
    edocfu_9959186248302883
    Format: 1 online resource (V, 490 p.)
    Edition: 1st ed. 1980.
    Edition: Online edition Springer Lecture Notes Archive ; 041142-5
    ISBN: 3-540-38339-5
    Series Statement: Lecture Notes in Computer Science, 94
    Note: Bibliographic Level Mode of Issuance: Monograph , 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. , English
    In: Springer eBooks
    Additional Edition: ISBN 3-540-10250-7
    Language: English
    DOI: 10.1007/3-540-10250-7
    URL: http://dx.doi.org/10.1007/3-540-10250-7
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Open Access Request
    FU Berlin
  • 6
    Online Resource
    Online Resource
    Semantics-Directed Compiler Generation : Proceedings of a Workshop, Aarhus, Denmark, January 14-18, 1980 (1980)
    Berlin, Heidelberg :Springer Berlin Heidelberg :
    Details
    UID:
    edoccha_9959186248302883
    Format: 1 online resource (V, 490 p.)
    Edition: 1st ed. 1980.
    Edition: Online edition Springer Lecture Notes Archive ; 041142-5
    ISBN: 3-540-38339-5
    Series Statement: Lecture Notes in Computer Science, 94
    Note: Bibliographic Level Mode of Issuance: Monograph , 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. , English
    In: Springer eBooks
    Additional Edition: ISBN 3-540-10250-7
    Language: English
    DOI: 10.1007/3-540-10250-7
    URL: http://dx.doi.org/10.1007/3-540-10250-7
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Open Access Request
    Charité
  • 7
    Online Resource
    Online Resource
    Semantics-Directed Compiler Generation : Proceedings of a Workshop, Aarhus, Denmark, January 14-18, 1980 (1980)
    Berlin, Heidelberg : Springer Berlin Heidelberg
    Details
    UID:
    gbv_1649197772
    Format: Online-Ressource
    ISBN: 9783540383390
    Series Statement: Lecture Notes in Computer Science 94
    Additional Edition: ISBN 9783540102502
    Additional Edition: Buchausg. u.d.T. Semantics-directed compiler generation Berlin : Springer, 1980 ISBN 3540102507
    Additional Edition: ISBN 0387102507
    Language: English
    Subjects: Computer Science
    RVK:
    SS 4800
    Keywords: Compiler ; Compiler ; Semantik ; Compiler ; Programmiersprache ; Semantik ; Konferenzschrift
    DOI: 10.1007/3-540-10250-7
    URL: Volltext
    URL: Cover
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Online Access
    Open Access Request
    Stabi Berlin
  • 8
    Online Resource
    Online Resource
    Semantics-Directed Compiler Generation : Proceedings of a Workshop, Aarhus, Denmark, January 14-18, 1980 (1980)
    Berlin, Heidelberg :Springer Berlin Heidelberg :
    Details
    UID:
    almafu_9959186248302883
    Format: 1 online resource (V, 490 p.)
    Edition: 1st ed. 1980.
    Edition: Online edition Springer Lecture Notes Archive ; 041142-5
    ISBN: 3-540-38339-5
    Series Statement: Lecture Notes in Computer Science, 94
    Note: Bibliographic Level Mode of Issuance: Monograph , 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. , English
    In: Springer eBooks
    Additional Edition: ISBN 3-540-10250-7
    Language: English
    DOI: 10.1007/3-540-10250-7
    URL: http://dx.doi.org/10.1007/3-540-10250-7
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Open Access Request
Nothing or not found what you are looking for? Please check your search query or use the Interlibrary Loan Search.
Did you mean 9783540338390?
Did you mean 9783540283393?
Did you mean 9783540284390?
Close ⊗
This website uses cookies and the analysis tool Matomo. Further information can be found on the KOBV privacy pages