---

＜電子ブック＞
Semantics-Directed Compiler Generation : Proceedings of a Workshop, Aarhus, Denmark, January 14-18, 1980 / edited by N.D. Jones
(Lecture Notes in Computer Science. ISSN:16113349 ; 94)

版	1st ed. 1980.
出版者	(Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer)
出版年	1980
本文言語	英語
大きさ	V, 490 p : online resource
著者標目	Jones, N.D editor SpringerLink (Online service)
件　名	LCSH:Compilers (Computer programs) FREE:Compilers and Interpreters
一般注記	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 HTTP:URL=https://doi.org/10.1007/3-540-10250-7

 類似資料