%A Harald Ganzinger %T Transforming denotational semantics into practical attrigute grammars %J Proceedings of the Workshop on Semantics-directed Compiler Generation %C Aarhus, Denmark %D January 1980 %E Neil D. Jones %O published as Lecture Notes in Computer Science 94 by Springer-Verlag %K sdcg %P 1-69 %A Neil D. Jones %A David A. Schmidt %T Compiler generation from denotation semantics %J Proceedings of the Workshop on Semantics-directed Compiler Generation %C Aarhus, Denmark %D January 1980 %E Neil D. Jones %O published as Lecture Notes in Computer Science 94 by Springer-Verlag %K sdcg %P 70-93 %A Martin Raskovsky %A Phil Collier %T From standard to implementation denotation semantics %J Proceedings of the Workshop on Semantics-directed Compiler Generation %C Aarhus, Denmark %D January 1980 %E Neil D. Jones %O published as Lecture Notes in Computer Science 94 by Springer-Verlag %K sdcg %P 94-139 %A Marie-Claude Gaudel %T Specification of compilers as abstract data type representations %J Proceedings of the Workshop on Semantics-directed Compiler Generation %C Aarhus, Denmark %D January 1980 %E Neil D. Jones %O published as Lecture Notes in Computer Science 94 by Springer-Verlag %K sdcg %P 140-164 %A James W. Thatcher %A Eric G. Wagner %A Jesse B. Wright %T More on advice on structuring compilers and proving them correct %J Proceedings of the Workshop on Semantics-directed Compiler Generation %C Aarhus, Denmark %D January 1980 %E Neil D. Jones %O published as Lecture Notes in Computer Science 94 by Springer-Verlag %K sdcg %P 165-188 %A Peter Mosses %T A constructive approach yo compiler correctness %J Proceedings of the Workshop on Semantics-directed Compiler Generation %C Aarhus, Denmark %D January 1980 %E Neil D. Jones %O published as Lecture Notes in Computer Science 94 by Springer-Verlag %K sdcg %P 189-210 %A John Reynolds %T Using category theory to design implicit conversions and generic operators %J Proceedings of the Workshop on Semantics-directed Compiler Generation %C Aarhus, Denmark %D January 1980 %E Neil D. Jones %O published as Lecture Notes in Computer Science 94 by Springer-Verlag %K sdcg %P 211-258 %A Ole Lehrmann Madsen %T On defining semantics by means of extended attribute grammars %J Proceedings of the Workshop on Semantics-directed Compiler Generation %C Aarhus, Denmark %D January 1980 %E Neil D. Jones %O published as Lecture Notes in Computer Science 94 by Springer-Verlag %K sdcg %P 259-299 %A Frank DeRemer %A Richard Jullig %T Tree-affix dendrogrammars for languages and compilers %J Proceedings of the Workshop on Semantics-directed Compiler Generation %C Aarhus, Denmark %D January 1980 %E Neil D. Jones %O published as Lecture Notes in Computer Science 94 by Springer-Verlag %K sdcg %P 300-319 %A Hans Meijer %T An implementation of affix grammars %J Proceedings of the Workshop on Semantics-directed Compiler Generation %C Aarhus, Denmark %D January 1980 %E Neil D. Jones %O published as Lecture Notes in Computer Science 94 by Springer-Verlag %K sdcg %P 320-349 %A Kari-Jouko Raiha %T Experiences with the compiler writing system HLP %J Proceedings of the Workshop on Semantics-directed Compiler Generation %C Aarhus, Denmark %D January 1980 %E Neil D. Jones %O published as Lecture Notes in Computer Science 94 by Springer-Verlag %K sdcg %P 350-362 %A David A. Watt %T Rule splitting and attribute-directed parsing %J Proceedings of the Workshop on Semantics-directed Compiler Generation %C Aarhus, Denmark %D January 1980 %E Neil D. Jones %O published as Lecture Notes in Computer Science 94 by Springer-Verlag %K sdcg %P 363-392 %A Neil D. Jones %A C. Michael Madsen %T Attribute-influenced LR parsing %J Proceedings of the Workshop on Semantics-directed Compiler Generation %C Aarhus, Denmark %D January 1980 %E Neil D. Jones %O published as Lecture Notes in Computer Science 94 by Springer-Verlag %K sdcg %P 393-407 %A Martto Tienari %T On the definition of attribute grammar %J Proceedings of the Workshop on Semantics-directed Compiler Generation %C Aarhus, Denmark %D January 1980 %E Neil D. Jones %O published as Lecture Notes in Computer Science 94 by Springer-Verlag %K sdcg %P 408-414 %A David A. Schmidt %T State transition machines for lambda calculus expressions %J Proceedings of the Workshop on Semantics-directed Compiler Generation %C Aarhus, Denmark %D January 1980 %E Neil D. Jones %O published as Lecture Notes in Computer Science 94 by Springer-Verlag %K sdcg %P 415-440 %A Valentin F. Turchin %T Semantic definitions in REFAL and the automatic production of compilers %J Proceedings of the Workshop on Semantics-directed Compiler Generation %C Aarhus, Denmark %D January 1980 %E Neil D. Jones %O published as Lecture Notes in Computer Science 94 by Springer-Verlag %K sdcg %P 441-474 %A Veronique Donzeau-Gouge %A Gilles Kahn %A Bernard Lang %T On the formal definition of Ada %J Proceedings of the Workshop on Semantics-directed Compiler Generation %C Aarhus, Denmark %D January 1980 %E Neil D. Jones %O published as Lecture Notes in Computer Science 94 by Springer-Verlag %K sdcg %P 475-489