Conferences in DBLP

Compiler Construction (CC) (cc)
1980 (conf/cc/1980)

1. Harald Ganzinger
   Transforming denotational semantics into practical attribute grammars. [Citation Graph (0, 0)][DBLP]
   Semantics-Directed Compiler Generation, 1980, pp:1-69 [Conf]
   
2. Neil D. Jones, David A. Schmidt
   Compiler generation from denotational semantics. [Citation Graph (0, 0)][DBLP]
   Semantics-Directed Compiler Generation, 1980, pp:70-93 [Conf]
   
3. Martin R. Raskovsky, Philip A. Collier
   From standard to implementation denotational semantics. [Citation Graph (0, 0)][DBLP]
   Semantics-Directed Compiler Generation, 1980, pp:94-139 [Conf]
   
4. Marie-Claude Gaudel
   Specification of compilers as abstract data type representations. [Citation Graph (0, 0)][DBLP]
   Semantics-Directed Compiler Generation, 1980, pp:140-164 [Conf]
   
5. James W. Thatcher, Eric G. Wagner, Jesse B. Wright
   More on advice on structuring compilers and proving them correct. [Citation Graph (0, 0)][DBLP]
   Semantics-Directed Compiler Generation, 1980, pp:165-188 [Conf]
   
6. Peter D. Mosses
   A constructive approach to compiler correctness. [Citation Graph (0, 0)][DBLP]
   Semantics-Directed Compiler Generation, 1980, pp:189-210 [Conf]
   
7. John C. Reynolds
   Using category theory to design implicit conversions and generic operators. [Citation Graph (0, 0)][DBLP]
   Semantics-Directed Compiler Generation, 1980, pp:211-258 [Conf]
   
8. Ole Lehrmann Madsen
   On defining semantics by means of extended attribute grammars. [Citation Graph (0, 0)][DBLP]
   Semantics-Directed Compiler Generation, 1980, pp:259-299 [Conf]
   
9. Frank DeRemer, Richard Jüllig
   Tree-affix dendrogrammars for languages and compilers. [Citation Graph (0, 0)][DBLP]
   Semantics-Directed Compiler Generation, 1980, pp:300-319 [Conf]
   
10. Hans Meijer
    An implementation of affix grammars. [Citation Graph (0, 0)][DBLP]
    Semantics-Directed Compiler Generation, 1980, pp:320-349 [Conf]
    
11. Kari-Jouko Räihä
    Experiences with the compiler writing system HLP. [Citation Graph (0, 0)][DBLP]
    Semantics-Directed Compiler Generation, 1980, pp:350-362 [Conf]
    
12. David A. Watt
    Rule splitting and attribute-directed parsing. [Citation Graph (0, 0)][DBLP]
    Semantics-Directed Compiler Generation, 1980, pp:363-392 [Conf]
    
13. Neil D. Jones, C. Michael Madsen
    Attribute-influenced LR parsing. [Citation Graph (0, 0)][DBLP]
    Semantics-Directed Compiler Generation, 1980, pp:393-407 [Conf]
    
14. Martti Tienari
    On the definition of attribute grammar. [Citation Graph (0, 0)][DBLP]
    Semantics-Directed Compiler Generation, 1980, pp:408-414 [Conf]
    
15. David A. Schmidt
    State transition machines for lambda calculus expressions. [Citation Graph (0, 0)][DBLP]
    Semantics-Directed Compiler Generation, 1980, pp:415-440 [Conf]
    
16. Valentin F. Turchin
    Semantic definitions in REFAL and the automatic production of compilers. [Citation Graph (0, 0)][DBLP]
    Semantics-Directed Compiler Generation, 1980, pp:441-474 [Conf]
    
17. Véronique Donzeau-Gouge, Gilles Kahn, Bernard Lang
    On the formal definition of ADA. [Citation Graph (0, 0)][DBLP]
    Semantics-Directed Compiler Generation, 1980, pp:475-489 [Conf]