Semantics-Directed Compiler Generation - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540102502, 9783540383390

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

On the definition of an attribute grammar

Semantics-Directed Compiler Generation - Lecture Notes in Computer Science ◽

10.1007/3-540-10250-7_31 ◽

1980 ◽

pp. 408-414 ◽

Cited By ~ 4

Author(s):

Martti Tienari

Keyword(s):

Attribute Grammar ◽

Definition Of

Download Full-text

State transition machines for lambda-calculus expressions

Semantics-Directed Compiler Generation - Lecture Notes in Computer Science ◽

10.1007/3-540-10250-7_32 ◽

1980 ◽

pp. 415-440 ◽

Cited By ~ 8

Author(s):

David A. Schmidt

Keyword(s):

State Transition ◽

Lambda Calculus

Download Full-text

Specification of compilers as abstract data type representations

Semantics-Directed Compiler Generation - Lecture Notes in Computer Science ◽

10.1007/3-540-10250-7_21 ◽

1980 ◽

pp. 140-164 ◽

Cited By ~ 5

Author(s):

M. C. Gaudel

Keyword(s):

Data Type ◽

Abstract Data Type ◽

Abstract Data

Download Full-text

Transforming denotational semantics into practical attribute grammars

Semantics-Directed Compiler Generation - Lecture Notes in Computer Science ◽

10.1007/3-540-10250-7_18 ◽

1980 ◽

pp. 1-69 ◽

Cited By ~ 5

Author(s):

Harald Ganzinger

Keyword(s):

Denotational Semantics ◽

Attribute Grammars

Download Full-text

On the formal definition of ADA

Semantics-Directed Compiler Generation - Lecture Notes in Computer Science ◽

10.1007/3-540-10250-7_34 ◽

1980 ◽

pp. 475-489 ◽

Cited By ~ 11

Author(s):

V. Donzeau-Gouge ◽

G. Kahn ◽

B. Lang

Keyword(s):

Formal Definition ◽

Definition Of

Download Full-text

A constructive approach to compiler correctness

Semantics-Directed Compiler Generation - Lecture Notes in Computer Science ◽

10.1007/3-540-10250-7_23 ◽

1980 ◽

pp. 189-210 ◽

Cited By ~ 6

Author(s):

Peter Mosses

Keyword(s):

Constructive Approach ◽

Compiler Correctness

Download Full-text

Attribute-influenced LR parsing

Semantics-Directed Compiler Generation - Lecture Notes in Computer Science ◽

10.1007/3-540-10250-7_30 ◽

1980 ◽

pp. 393-407 ◽

Cited By ~ 10

Author(s):

Neil D. Jones ◽

Michael Madsen

Keyword(s):

Lr Parsing

Download Full-text

An implementation of affix grammars

Semantics-Directed Compiler Generation - Lecture Notes in Computer Science ◽

10.1007/3-540-10250-7_27 ◽

1980 ◽

pp. 320-349 ◽

Cited By ~ 1

Author(s):

Hans Meijer

Download Full-text

Rule splitting and attribute-directed parsing

Semantics-Directed Compiler Generation - Lecture Notes in Computer Science ◽

10.1007/3-540-10250-7_29 ◽

1980 ◽

pp. 363-392 ◽

Cited By ~ 4

Author(s):

David A. Watt

Download Full-text

Semantic definitions in REFAL and automatic production of compilers

Semantics-Directed Compiler Generation - Lecture Notes in Computer Science ◽

10.1007/3-540-10250-7_33 ◽

1980 ◽

pp. 441-474 ◽

Cited By ~ 11

Author(s):

Valentin F. Turchin

Keyword(s):

Automatic Production

Download Full-text

Semantics-Directed Compiler Generation - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

On the definition of an attribute grammar

State transition machines for lambda-calculus expressions

Specification of compilers as abstract data type representations

Transforming denotational semantics into practical attribute grammars

On the formal definition of ADA

A constructive approach to compiler correctness

Attribute-influenced LR parsing

An implementation of affix grammars

Rule splitting and attribute-directed parsing

Semantic definitions in REFAL and automatic production of compilers

Semantics-Directed Compiler Generation - Lecture Notes in Computer Science
Latest Publications