Neil D. Jones
Proceedings of a Workshop on Semantics-Directed Compiler Generation
SDCG, 1980.

@proceedings{SDCG-1980,
	address       = "Aarhus, Denmark",
	editor        = "Neil D. Jones",
	isbn          = "3-540-10250-7",
	publisher     = "{Springer-Verlag}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of a Workshop on Semantics-Directed Compiler Generation}",
	volume        = 94,
	year          = 1980,
}

Contents (17 items)

7 ×#compilation
5 ×#semantics
3 ×#attribute grammar
3 ×#on the
2 ×#implementation
2 ×#parsing

SDCG-1980-Ganzinger #attribute grammar #semantics

Transforming denotational semantics into practical attribute grammars (HG), pp. 1–69.

SDCG-1980-JonesS #compilation #generative #semantics

Compiler generation from denotational semantics (NDJ, DAS), pp. 70–93.

SDCG-1980-RaskovskyC #implementation #semantics #standard

From standard to implementation denotational semantics (MRR, PAC), pp. 94–139.

SDCG-1980-Gaudel #compilation #data type #specification

Specification of compilers as abstract data type representations (MCG), pp. 140–164.

SDCG-1980-ThatcherWW #compilation #proving

More on advice on structuring compilers and proving them correct (JWT, EGW, JBW), pp. 165–188.

SDCG-1980-Mosses #approach #compilation #correctness

A constructive approach to compiler correctness (PDM), pp. 189–210.

SDCG-1980-Reynolds #category theory #design #using

Using category theory to design implicit conversions and generic operators (JCR), pp. 211–258.

SDCG-1980-Madsen #attribute grammar #on the #semantics

On defining semantics by means of extended attribute grammars (OLM), pp. 259–299.

SDCG-1980-DeRemerJ #compilation

Tree-affix dendrogrammars for languages and compilers (FD, RJ), pp. 300–319.

SDCG-1980-Meijer #affix grammar #implementation

An implementation of affix grammars (HM), pp. 320–349.

SDCG-1980-Raiha #case study #compilation #experience

Experiences with the compiler writing system HLP (KJR), pp. 350–362.

SDCG-1980-Watt #parsing

Rule splitting and attribute-directed parsing (DAW), pp. 363–392.

SDCG-1980-JonesM #lr #parsing

Attribute-influenced LR parsing (NDJ, CMM), pp. 393–407.

SDCG-1980-Tienari #attribute grammar #on the

On the definition of attribute grammar (MT), pp. 408–414.

SDCG-1980-Schmidt #λ-calculus

State transition machines for λ calculus expressions (DAS), pp. 415–440.

SDCG-1980-Turchin #automation #compilation #semantics

Semantic definitions in REFAL and the automatic production of compilers (VFT), pp. 441–474.

SDCG-1980-Donzeau-GougeKL #ada #on the

On the formal definition of ADA (VDG, GK, BL), pp. 475–489.