SlideShare a Scribd company logo

Syntax Definition

Guido Wachsmuth, profile picture
Guido Wachsmuth

The document discusses syntax definition in programming languages. It provides examples of lexical syntax, context-free syntax, abstract syntax trees, disambiguation, and testing syntax definitions using SDF3 and Spoofax. Key topics covered include regular expressions, Backus-Naur Form, Extended Backus-Naur Form, SDF3 syntax, Spoofax architecture for language implementation, and syntax processing tools like parsers, pretty-printers and compilers.

EducationTechnology
1 of 92
Downloaded 135 times
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
IN4303 2015/16 Compiler Construction Language Specification syntax definition Guido Wachsmuth, Eduardo de Souza Amorim
Syntax Definition 2 3 * +7 21 3 * +7 21 Exp ExpExp Exp Exp parser
Syntax Definition 3 3 * +7 21 parser Const Mul Const 213 7 Const Add
Syntax Definition 4 3 * +7 21 parser Add( Mul( Const(3) , Const(7) ) , Const(21) )
Syntax Definition Stratego NaBL TS SDF3 ESV editor SPT tests 5 syntax definition concrete syntax abstract syntax static semantics name binding type system dynamic semantics translation interpretation
Syntax Definition 6 syntax definition regular expressions Backus-Naur Form Extended BNF SDF3 lexical syntax context-free syntax abstract syntax disambiguation Spoofax architecture testing editors syntax processing pretty-printing discovery more editor services
Syntax Definition 7 syntax definition
Syntax Definition 8 software languages
Syntax Definition 9 finite models
Syntax Definition 10 Philosophy Linguistics lexicology grammar morphology syntax phonology semantics Interdisciplinary Computer Science syntax semantics
Syntax Definition 11 lexical syntax words made from letters irrelevant structure literals 42 "foo" true identifiers x foo keywords if while operators + * whitespace // FIXME regular expressions
 context-free syntax sentences made from words relevant structure context-free grammars Backus-Naur Form Extended Backus-Naur Form computer science syntax
Syntax Definition 12 syntax definition regular expressions
Syntax Definition 13 basics strings "nil" character classes [a-zA-Z] combinators concatenation E1 E2 option E? repetition (zero or more) E* repetition (one or more) E+ alternative E1 | E2 regular expressions
Syntax Definition 14 /* factorial function */ let var x := 0 function fact(n : int) : int = if n < 1 then 1 else (n * fact(n - 1)) in for i := 1 to 3 do ( x := x + fact(i); printint(x); print(" ") ) end Tiger the lecture language
Syntax Definition 15 An identifier is a sequence of letters, digits, and under-scores, starting with a letter. Uppercase letters are distinguished from lowercase. Tiger lexical syntax
Syntax Definition 15 An identifier is a sequence of letters, digits, and under-scores, starting with a letter. Uppercase letters are distinguished from lowercase. [a-zA-Z][a-zA-Z0-9_]* Tiger lexical syntax
Syntax Definition 15 An identifier is a sequence of letters, digits, and under-scores, starting with a letter. Uppercase letters are distinguished from lowercase. [a-zA-Z][a-zA-Z0-9_]* A comment may appear between any two tokens. Comments start with /* and end with */ and may be nested. Tiger lexical syntax
Syntax Definition 15 An identifier is a sequence of letters, digits, and under-scores, starting with a letter. Uppercase letters are distinguished from lowercase. [a-zA-Z][a-zA-Z0-9_]* A comment may appear between any two tokens. Comments start with /* and end with */ and may be nested. Tiger lexical syntax Pumping Lemma
Syntax Definition 16 syntax definition Backus-Naur Form
Syntax Definition 17 basics strings nil symbols <s> combinators concatenation E1 E2 production <s> ::= E1 | … | En Backus-Naur Form
Syntax Definition 18 <exp> ::= <num> | <exp> + <exp> | <exp> - <exp> | <exp> * <exp> | <exp> / <exp> | ( <exp> ) Tiger context-free syntax
Syntax Definition 19 syntax definition Extended Backus-Naur Form
Syntax Definition 20 basics strings "nil" symbols s combinators concatenation E1,E2 option [E] repetition (zero or more) {E} alternative E1 | E2 production s = E1 | … | En ; Extended Backus-Naur Form
Syntax Definition 21 exp = num | exp , "+" , exp | exp , "-" , exp | exp , "*" , exp | exp , "/" , exp | "(" , exp , ")" ; Tiger context-free syntax
Syntax Definition 22 SDF3 lexical syntax
Syntax Definition 23 basics strings "nil" character classes [a-zA-Z] complements ~[a-zA-Z] sorts S combinators concatenation E1 E2 option E? repetition (zero or more) E* with separator {E s}* repetition (one or more) E+ with separator {E s}+ alternative E1 | E2 production S = E SDF3 lexical syntax
Syntax Definition 24 module Literals lexical syntax ID = [a-zA-Z] [a-zA-Z0-9_]* INT = "-"? [0-9]+ STRING = """ StringChar* """ StringChar = ~["n] StringChar = """ StringChar = "" Tiger lexical syntax
Syntax Definition 25 module Whitespace lexical syntax LAYOUT = [ tnr] LAYOUT = "//" ~[nr]* NewLineEOF NewLineEOF = [nr] | EOF EOF = LAYOUT = "/*" CommentPart* "*/" CommentPart = ~[*] CommentPart = [*] Tiger lexical syntax
Syntax Definition 26 SDF3 context-free syntax
Syntax Definition 27 basics strings "nil" sorts S combinators concatenation E1 E2 option E? repetition (zero or more) E* with separator {E s}* repetition (one or more) E+ with separator {E s}+ production S = E SDF3 context-free syntax
Syntax Definition 28 module Expressions context-free syntax Exp = LValue LValue = ID LValue = LValue "." ID LValue = LValue "[" Exp "]" Exp = "nil" Exp = INT Exp = STRING Exp = ID "(" {Exp ","}* ")" Exp = TypeId "{" {InitField ","}* "}" Exp = TypeId "[" Exp "]" "of" Exp InitField = ID "=" Exp Tiger context-free syntax x x.f1 x[i] nil 42 "foo" sqr(x) aty [x] of 42 rty {f1 = "foo", f2 = 42}
Syntax Definition 29 context-free syntax Exp = Exp "+" Exp Exp = Exp "-" Exp Exp = Exp "*" Exp Exp = Exp "/" Exp Exp = Exp "=" Exp Exp = Exp "<>" Exp Exp = Exp ">" Exp Exp = Exp "<" Exp Exp = Exp ">=" Exp Exp = Exp "<=" Exp Exp = Exp "&" Exp Exp = Exp "|" Exp Tiger context-free syntax
Syntax Definition 30 SDF3 abstract syntax
Syntax Definition 31 tree leaf parent node children are trees term constant constructor arguments are terms ATerms trees - terms Const Mul Const 213 7 Const Add Add( Mul( Const(3) , Const(7) ) , Const(21) )
Syntax Definition 32 context-free syntax Exp.Add = Exp "+" Exp Exp.Sub = Exp "-" Exp Exp.Mul = Exp "*" Exp Exp.Div = Exp "/" Exp Exp.Eq = Exp "=" Exp Exp.Neq = Exp "<>" Exp Exp.Gt = Exp ">" Exp Exp.Lt = Exp "<" Exp Exp.Gte = Exp ">=" Exp Exp.Lte = Exp "<=" Exp Exp.And = Exp "&" Exp Exp.Or = Exp "|" Exp Tiger context-free syntax Const Mul Const 213 7 Const Add Add( Mul( Const(3) , Const(7) ) , Const(21) )
Syntax Definition 33 SDF3 disambiguation
Syntax Definition 34 lexical syntax ID = [a-zA-Z] [a-zA-Z0-9_]* ID = "nil" {reject} INT = "-"? [0-9]+ lexical restrictions ID -/- [a-zA-Z0-9_] INT -/- [0-9] Tiger lexical disambiguation
Syntax Definition 35 lexical syntax LAYOUT = "//" ~[nr]* NewLineEOF NewLineEOF = [nr] | EOF EOF = LAYOUT = "/*" CommentPart* "*/" CommentPart = ~[*] CommentPart = "*" lexical restrictions EOF -/- ~[] "*" -/- ~[/] Tiger lexical disambiguation
Syntax Definition 36 lexical syntax LAYOUT = "//" ~[nr]* NewLineEOF NewLineEOF = [nr] | EOF EOF = LAYOUT = "/*" CommentPart* "*/" CommentPart = ~[*] CommentPart = CommentEndChar CommentEndChar = "*" lexical restrictions EOF -/- ~[] CommentEndChar -/- ~[/] Tiger lexical disambiguation
Syntax Definition 37 lexical syntax LAYOUT = [ tnr] LAYOUT = "//" ~[nr]* NewLineEOF LAYOUT = "/*" CommentPart* "*/" context-free restrictions LAYOUT? -/- [ tnr] LAYOUT? -/- [/].[/] LAYOUT? -/- [/].[*] Tiger context-free disambiguation
Syntax Definition 38 context-free syntax Exp.Add = Exp "+" Exp Exp.Sub = Exp "-" Exp Exp.Mul = Exp "*" Exp Exp.Div = Exp "/" Exp Exp.Eq = Exp "=" Exp Exp.Neq = Exp "<>" Exp Exp.Gt = Exp ">" Exp Exp.Lt = Exp "<" Exp Exp.Gte = Exp ">=" Exp Exp.Lte = Exp "<=" Exp Exp.And = Exp "&" Exp Exp.Or = Exp "|" Exp Tiger context-free syntax
Syntax Definition 39 context-free syntax Exp.Add = Exp "+" Exp {left} Exp.Sub = Exp "-" Exp {left} Exp.Mul = Exp "*" Exp {left} Exp.Div = Exp "/" Exp {left} Exp.Eq = Exp "=" Exp {non-assoc} Exp.Neq = Exp "<>" Exp {non-assoc} Exp.Gt = Exp ">" Exp {non-assoc} Exp.Lt = Exp "<" Exp {non-assoc} Exp.Gte = Exp ">=" Exp {non-assoc} Exp.Lte = Exp "<=" Exp {non-assoc} Exp.And = Exp "&" Exp {left} Exp.Or = Exp "|" Exp {left} context-free priorities { left: Exp.Mul Exp.Div } > { left: Exp.Add Exp.Sub } > { non-assoc: Exp.Eq Exp.Neq Exp.Gt Exp.Lt Exp.Gte Exp.Lte } > Exp.And > Exp.Or Tiger context-free disambiguation
Syntax Definition 40 Spoofax architecture
Syntax Definition 41 source code
Syntax Definition 41 source code parse
Syntax Definition 41 source code parse check
Syntax Definition 41 source code parse check
Syntax Definition 41 source code parse generate machine code check
Syntax Definition Data Programs Language Processors 42 Eclipse JDT Fact.java 42 Java Java int
Syntax Definition 43 language definition parse generate language implementation check
Syntax Definition syntax definition 44 parse generate parse table check generic parser
Syntax Definition Data Programs Language Processors 45 Java parser Fact.java 42 Language Workbench Spoofax SDF3 Java int SDF3
Syntax Definition 46 context-free syntax Grammar.Lexical = < lexical syntax <Production*> > Grammar.Contextfree = < context-free syntax <Production*> > Production.SdfProduction = <<Symbol> = <Symbol*> <Attributes>> Production.SdfProductionWithCons = <<SortCons> = <Symbol*> <Attributes>> SortCons.SortCons = <<Symbol>.<Constructor>> context-free syntax SDF3 in SDF3
Syntax Definition Stratego NaBL TS SDF3 ESV editor SPT tests 47 syntax definition concrete syntax abstract syntax static semantics name binding type system dynamic semantics translation interpretation
Syntax Definition Stratego NaBL TS SDF3 ESV editor SPT tests 48 syntax definition concrete syntax abstract syntax static semantics name binding type system dynamic semantics translation interpretation
Syntax Definition 49 Spoofax testing
Syntax Definition 50 module example-suite language Tiger start symbol Start test name [[...]] parse succeeds test another name [[...]] parse fails test suites
Syntax Definition 51 test cases syntax Language valid program test valid program [[...]] parse succeeds
Syntax Definition 52 test cases syntax Language test invalid program [[...]] parse fails invalid program
Syntax Definition 53 module syntax/identifiers language Tiger start symbol Id test single lower case [[x]] parse succeeds test single upper case [[X]] parse succeeds test single digit [[1]] parse fails test single lc digit [[x1]] parse succeeds test single digit lc [[1x]] parse fails test single uc digit [[X1]] parse succeeds test single digit uc [[1X]] parse fails test double digit [[11]] parse fails test cases syntax
Syntax Definition Language 54 test cases syntax
Syntax Definition 55 module syntax/expressions/precedence language Tiger start symbol Exp test parentheses [[(42)]] parse to [[42]] test left-associative addition [[21 + 14 + 7]] parse to [[(21 + 14) + 7]] test precedence multiplication [[3 * 7 + 21]] parse to [[(3 * 7) + 21]] test cases ambiguities
Syntax Definition 56 Spoofax editors
Syntax Definition syntax definition 57 parse generate parse table check generic parser
Syntax Definition 58 source code parse generate machine code check
Syntax Definition 59 module Tiger.main imports ... language General properties name: Tiger id: org.metaborg.cube.tiger extends: Root description: "Spoofax-generated editor for the Tiger language" url: http://metaborg.org extensions: tig table: include/Tiger.tbl start symbols: Start provider: include/Tiger.ctree observer: editor-analyze (multifile) on save: editor-save editor specification
Syntax Definition 60 syntax processing
Syntax Definition 61 3 * +7 213 * +7 21 3 * +7 21 Exp ExpExp Exp Exp scanner parser language processors scanners & parsers
Syntax Definition 62 language processors scannerless parsers 3 * +7 21 3 * +7 21 Exp ExpExp Exp Exp parser
Syntax Definition 63 syntax processing pretty-printing
Syntax Definition 64 language processors compilation by transformation backend frontend parse desugar analyse normalise generate optimise format
Syntax Definition 65 language processors pretty-printers 3 * +7 21 3 * +7 21 Exp ExpExp Exp Exp pretty- printer
Syntax Definition 66 from ASTs to text keywords layout: spaces, line breaks, indentation specification partially defined in grammar missing layout language processors pretty-printing
Syntax Definition 67 SDF3 production rules context-free syntax Exp.Nil = "nil" Exp.IntC = INT Exp.StringC = STRING Exp.Call = ID "(" {Exp ","}* ")" Exp.ArrayI = TypeId "[" Exp "]" "of" Exp Exp.RecordI = TypeId "{" {InitField ","}* "}" InitField.FieldI = ID "=" Exp
Syntax Definition 68 SDF3 templates context-free syntax Exp.Nil = <nil> Exp.IntC = INT Exp.StringC = STRING Exp.Call = <<ID> ( <{Exp ","}*> )> Exp.ArrayI = <<TypeId> [ <Exp> ] of <Exp>> Exp.RecordI = <<TypeId> { <{InitField ","}*> }> InitField.FieldI = <<ID> = <Exp>>
Syntax Definition 69 SDF3 formatted templates context-free syntax Exp.Nil = <nil> Exp.IntC = INT Exp.StringC = STRING Exp.Call = <<ID>(<{Exp ", "}*>)> Exp.ArrayI = <<TypeId>[<Exp>] of <Exp>> Exp.RecordI = < <TypeId> { <{InitField ",n"}*> }> InitField.FieldI = <<ID> = <Exp>>
Syntax Definition 70 box layout basic boxes _1 “foo” KW [ “foo” ]
Syntax Definition 71 box layout horizontal boxes B B B H hs=x [ ]B B Bhs=x
Syntax Definition 72 box layout vertical boxes V hs=x is=i [ ]B B Bvs=y is=i B B B
Syntax Definition 73 syntax processing discovery
Syntax Definition 74 discovery syntactic code completion
Syntax Definition 75 SDF3 formatted templates context-free syntax Exp.Nil = <nil> Exp.IntC = INT Exp.StringC = STRING Exp.Call = <<ID>(<{Exp ", "}*>)> Exp.ArrayI = <<TypeId>[<Exp>] of <Exp>> Exp.RecordI = < <TypeId> { <{InitField ",n"}*> }> InitField.FieldI = <<ID> = <Exp>>
Syntax Definition 76 SDF3 generated completion templates module src-gen/completions/Expressions-esv completions completion template Exp : "nil" = "nil" completion template Exp : "ID()" = <ID:ID> "(" <:Exp> ")" completion template Exp : "TypeId[Exp] of Exp" = <TypeId:TypeId> "[" <Exp:Exp> "] of " <Exp:Exp> completion template Exp : "TypeId { }" = <TypeId:TypeId> " {nt" (cursor) "n}" (blank) completion template InitField : "ID = Exp" = <ID:ID> " = " <Exp:Exp>
Syntax Definition 77 SDF3 improved templates context-free syntax Exp.Nil = <nil> Exp.IntC = INT Exp.StringC = STRING Exp.Call = <<ID; text="m">(<{Exp ", "}*>)> Exp.ArrayI = <<TypeId; text="type">[<Exp; text="size">] of <Exp; text="value">> Exp.RecordI = < <TypeId; text="type"> { <{InitField ",n"}*> }> InitField.FieldI = <<ID; text="var"> = <Exp; text="value">>
Syntax Definition 78 syntax processing more editor services
Syntax Definition 79 editor servicesThe Spoofax Language Workbench
Syntax Definition 80 Spoofax generated highlighting rules module Tiger-Colorer.generated colorer Default, token-based highlighting keyword : 127 0 85 bold identifier : default string : blue number : darkgreen var : 255 0 100 italic operator : 0 0 128 layout : 100 100 0 italic colorer System colors darkred = 128 0 0 red = 255 0 0 darkgreen = 0 128 0 green = 0 255 0 darkblue = 0 0 128 …
Syntax Definition 81 Spoofax customised highlighting rules module Tiger-Colorer imports Tiger-Colorer.generated colorer TU Delft colours TUDlavender = 123 160 201 colorer token-based highlighting layout : TUDlavender StrConst : darkgreen TypeId : blue
Syntax Definition 82 SDF3 generated folding rules module Tiger-Folding.generated folding Default folding definitions Exp Dec.TypeDec Type.RecordTy
Syntax Definition 83 Spoofax customised folding rules module Tiger-Folding imports Tiger-Folding.generated folding Dec* Dec.FunDec
Syntax Definition 84 Except where otherwise noted, this work is licensed under
Syntax Definition 85 attribution slide title author license 1 The Pine, Saint Tropez Paul Signac public domain 2-4, 43, 45, 46, 59, 60, 63, 64, 66, 67 PICOL icons Melih Bilgil CC BY 3.0 8 Programming language textbooks K.lee public domain 9 Latin Grammar Anthony Nelzin 14, 15, 18, 21 Tiger Bernard Landgraf CC BY-SA 3.0

More Related Content

PDF
Pure and Declarative Syntax Definition: Paradise Lost and Regained
Guido Wachsmuth
 
PDF
Syntax Definition
Eelco Visser
 
PDF
Formal Grammars
Eelco Visser
 
PDF
Declarative Syntax Definition - Grammars and Trees
Guido Wachsmuth
 
PDF
LL Parsing
Eelco Visser
 
PDF
Declarative Semantics Definition - Static Analysis and Error Checking
Guido Wachsmuth
 
PDF
Declarative Semantics Definition - Term Rewriting
Guido Wachsmuth
 
PDF
Lexical Analysis
Eelco Visser
 
Pure and Declarative Syntax Definition: Paradise Lost and Regained
Guido Wachsmuth
 
Syntax Definition
Eelco Visser
 
Formal Grammars
Eelco Visser
 
Declarative Syntax Definition - Grammars and Trees
Guido Wachsmuth
 
LL Parsing
Eelco Visser
 
Declarative Semantics Definition - Static Analysis and Error Checking
Guido Wachsmuth
 
Declarative Semantics Definition - Term Rewriting
Guido Wachsmuth
 
Lexical Analysis
Eelco Visser
 

What's hot (20)

PDF
Static Analysis
Eelco Visser
 
PDF
Term Rewriting
Eelco Visser
 
PDF
Declare Your Language: Syntactic (Editor) Services
Eelco Visser
 
KEY
Compiler Components and their Generators - Lexical Analysis
Guido Wachsmuth
 
PDF
Compiler Components and their Generators - Traditional Parsing Algorithms
Guido Wachsmuth
 
PDF
Dynamic Semantics
Eelco Visser
 
PDF
Static name resolution
Eelco Visser
 
PDF
Introduction - Imperative and Object-Oriented Languages
Guido Wachsmuth
 
PDF
Declare Your Language: Type Checking
Eelco Visser
 
PDF
Declare Your Language: Transformation by Strategic Term Rewriting
Eelco Visser
 
PPTX
Regular expression examples
NetProtocol Xpert
 
PDF
Declare Your Language: Name Resolution
Eelco Visser
 
PDF
Compiler Construction | Lecture 5 | Transformation by Term Rewriting
Eelco Visser
 
PDF
Ch04
Hankyo
 
PDF
CS4200 2019 | Lecture 5 | Transformation by Term Rewriting
Eelco Visser
 
PDF
Compiler Construction | Lecture 8 | Type Constraints
Eelco Visser
 
PDF
Dynamic Semantics Specification and Interpreter Generation
Eelco Visser
 
PDF
Ch03
Hankyo
 
ODP
Regex Presentation
arnolambert
 
PDF
Perl6 signatures
Simon Proctor
 
Static Analysis
Eelco Visser
 
Term Rewriting
Eelco Visser
 
Declare Your Language: Syntactic (Editor) Services
Eelco Visser
 
Compiler Components and their Generators - Lexical Analysis
Guido Wachsmuth
 
Compiler Components and their Generators - Traditional Parsing Algorithms
Guido Wachsmuth
 
Dynamic Semantics
Eelco Visser
 
Static name resolution
Eelco Visser
 
Introduction - Imperative and Object-Oriented Languages
Guido Wachsmuth
 
Declare Your Language: Type Checking
Eelco Visser
 
Declare Your Language: Transformation by Strategic Term Rewriting
Eelco Visser
 
Regular expression examples
NetProtocol Xpert
 
Declare Your Language: Name Resolution
Eelco Visser
 
Compiler Construction | Lecture 5 | Transformation by Term Rewriting
Eelco Visser
 
Ch04
Hankyo
 
CS4200 2019 | Lecture 5 | Transformation by Term Rewriting
Eelco Visser
 
Compiler Construction | Lecture 8 | Type Constraints
Eelco Visser
 
Dynamic Semantics Specification and Interpreter Generation
Eelco Visser
 
Ch03
Hankyo
 
Regex Presentation
arnolambert
 
Perl6 signatures
Simon Proctor
 
Ad

Viewers also liked (11)

PPT
The Universe: A Module in Science and Technology for Grade 5 Pupils
cryster
 
PDF
Syntactic change through translation: A corpus-based approach to language change
Mario Bisiada
 
PPT
Syntax analysis
Chetan Mahawar
 
PPT
Syntax
Lyudmila Osinovskaya
 
PPTX
Model of Teaching
Deepty Gupta
 
PPTX
Teaching models
Xyrille Yves Zaide
 
PDF
Syntactic space syntax4generativedesign
Pirouz Nourian
 
PPT
Syntax
rmsutton
 
PPT
ENGLISH SYNTAX
Videoconferencias UTPL
 
PPTX
Unit1 principle of programming language
Vasavi College of Engg
 
PPTX
Models of teaching
Aileen Asim
 
The Universe: A Module in Science and Technology for Grade 5 Pupils
cryster
 
Syntactic change through translation: A corpus-based approach to language change
Mario Bisiada
 
Syntax analysis
Chetan Mahawar
 
Syntax
Lyudmila Osinovskaya
 
Model of Teaching
Deepty Gupta
 
Teaching models
Xyrille Yves Zaide
 
Syntactic space syntax4generativedesign
Pirouz Nourian
 
Syntax
rmsutton
 
ENGLISH SYNTAX
Videoconferencias UTPL
 
Unit1 principle of programming language
Vasavi College of Engg
 
Models of teaching
Aileen Asim
 
Ad

Similar to Syntax Definition (20)

PPT
Compiler design lessons notes from Semester
AAASchool
 
PDF
CS4200 2019 | Lecture 4 | Syntactic Services
Eelco Visser
 
PDF
CS4200 2019 | Lecture 3 | Parsing
Eelco Visser
 
PDF
Regexp
Bhorotsana RK
 
PPT
Ch2 (1).ppt
daniloalbay1
 
PPT
Ch2
kinnarshah8888
 
PPTX
codin9cafe[2015.02.25]Open course(programming languages) - 장철호(Ch Jang)
codin9cafe
 
PPTX
Open course(programming languages) 20150225
JangChulho
 
PDF
TI1220 Lecture 9: Parsing & interpretation
Eelco Visser
 
PDF
Compiler Construction | Lecture 4 | Parsing
Eelco Visser
 
PDF
FYP Final Presentation
Jason Yeo Jie Shun
 
PPSX
Awk essentials
Logan Palanisamy
 
PDF
仕事で使うF#
bleis tift
 
PDF
Compiler Construction | Lecture 3 | Syntactic Editor Services
Eelco Visser
 
PPTX
Build a compiler in 2hrs - NCrafts Paris 2015
Phillip Trelford
 
PPT
Bioinformatica 06-10-2011-p2 introduction
Prof. Wim Van Criekinge
 
PPT
An Annotation Framework for Statically-Typed Syntax Trees
Ray Toal
 
PPTX
Lexical
Satyamevjayte Haxor
 
PDF
Perl6 Regexen: Reduce the line noise in your code.
Workhorse Computing
 
PPT
Chapter Three(1)
bolovv
 
Compiler design lessons notes from Semester
AAASchool
 
CS4200 2019 | Lecture 4 | Syntactic Services
Eelco Visser
 
CS4200 2019 | Lecture 3 | Parsing
Eelco Visser
 
Regexp
Bhorotsana RK
 
Ch2 (1).ppt
daniloalbay1
 
Ch2
kinnarshah8888
 
codin9cafe[2015.02.25]Open course(programming languages) - 장철호(Ch Jang)
codin9cafe
 
Open course(programming languages) 20150225
JangChulho
 
TI1220 Lecture 9: Parsing & interpretation
Eelco Visser
 
Compiler Construction | Lecture 4 | Parsing
Eelco Visser
 
FYP Final Presentation
Jason Yeo Jie Shun
 
Awk essentials
Logan Palanisamy
 
仕事で使うF#
bleis tift
 
Compiler Construction | Lecture 3 | Syntactic Editor Services
Eelco Visser
 
Build a compiler in 2hrs - NCrafts Paris 2015
Phillip Trelford
 
Bioinformatica 06-10-2011-p2 introduction
Prof. Wim Van Criekinge
 
An Annotation Framework for Statically-Typed Syntax Trees
Ray Toal
 
Lexical
Satyamevjayte Haxor
 
Perl6 Regexen: Reduce the line noise in your code.
Workhorse Computing
 
Chapter Three(1)
bolovv
 

More from Guido Wachsmuth (10)

PDF
Language
Guido Wachsmuth
 
PDF
Domain-Specific Type Systems
Guido Wachsmuth
 
KEY
Declarative Syntax Definition - Pretty Printing
Guido Wachsmuth
 
PDF
Compiler Components and their Generators - LR Parsing
Guido Wachsmuth
 
KEY
Compiling Imperative and Object-Oriented Languages - Garbage Collection
Guido Wachsmuth
 
KEY
Compiling Imperative and Object-Oriented Languages - Register Allocation
Guido Wachsmuth
 
KEY
Compiling Imperative and Object-Oriented Languages - Dataflow Analysis
Guido Wachsmuth
 
KEY
Compiling Imperative and Object-Oriented Languages - Activation Records
Guido Wachsmuth
 
PDF
Declarative Semantics Definition - Code Generation
Guido Wachsmuth
 
PDF
Software Languages
Guido Wachsmuth
 
Language
Guido Wachsmuth
 
Domain-Specific Type Systems
Guido Wachsmuth
 
Declarative Syntax Definition - Pretty Printing
Guido Wachsmuth
 
Compiler Components and their Generators - LR Parsing
Guido Wachsmuth
 
Compiling Imperative and Object-Oriented Languages - Garbage Collection
Guido Wachsmuth
 
Compiling Imperative and Object-Oriented Languages - Register Allocation
Guido Wachsmuth
 
Compiling Imperative and Object-Oriented Languages - Dataflow Analysis
Guido Wachsmuth
 
Compiling Imperative and Object-Oriented Languages - Activation Records
Guido Wachsmuth
 
Declarative Semantics Definition - Code Generation
Guido Wachsmuth
 
Software Languages
Guido Wachsmuth
 

Recently uploaded (20)

PDF
Pre independence Education in Inndia.pdf
goofy5603
 
PDF
Saundersa Comprehensive Review for the NCLEX-RN Examination.pdf
sreejithcareers
 
PPTX
Lesson notes of climatology university.
sgladness67
 
PDF
FourierSeries-QuestionsWithAnswers(Part-A).pdf
Raji Murugan
 
PPTX
school management -TNTEU- B.Ed., Semester II Unit 1.pptx
NihumathunnisaH
 
PPTX
Renaissance Architecture: A Journey from Faith to Humanism
DrMonicaSharma
 
PDF
BÀI TẬP BỔ TRỢ 4 KỸ NĂNG TIẾNG ANH 9 GLOBAL SUCCESS - CẢ NĂM - BÁM SÁT FORM Đ...
Nguyen Thanh Tu Collection
 
PPTX
IMMUNITY IMMUNITY refers to protection against infection, and the immune syst...
shilpa939953
 
PDF
Module 4: Burden of Disease Tutorial Slides S2 2025
Jonathan Hallett
 
PPTX
Pharma ospi slides which help in ospi learning
rameetkumar304
 
PDF
01-Introduction-to-Information-Management.pdf
PrinceIbarra
 
PDF
Computing-Curriculum for Schools in Ghana
abigailanane203
 
PDF
ANTIBIOTICS.pptx.pdf………………… xxxxxxxxxxxxx
HakHe
 
PPTX
human mycosis Human fungal infections are called human mycosis..pptx
shilpa939953
 
PDF
Anesthesia in Laparoscopic Surgery in India
mohitsuren827
 
PDF
STATICS OF THE RIGID BODIES Hibbelers.pdf
pascualasturiaskaye4
 
PPTX
Pharmacology of Heart Failure /Pharmacotherapy of CHF
Rajshri Ghogare
 
PDF
O5-L3 Freight Transport Ops (International) V1.pdf
labyankof
 
PDF
Chapter 2 Heredity, Prenatal Development, and Birth.pdf
MarjorieLopezTiu
 
PDF
Insiders guide to clinical Medicine.pdf
AbhishekPatil315128
 
Pre independence Education in Inndia.pdf
goofy5603
 
Saundersa Comprehensive Review for the NCLEX-RN Examination.pdf
sreejithcareers
 
Lesson notes of climatology university.
sgladness67
 
FourierSeries-QuestionsWithAnswers(Part-A).pdf
Raji Murugan
 
school management -TNTEU- B.Ed., Semester II Unit 1.pptx
NihumathunnisaH
 
Renaissance Architecture: A Journey from Faith to Humanism
DrMonicaSharma
 
BÀI TẬP BỔ TRỢ 4 KỸ NĂNG TIẾNG ANH 9 GLOBAL SUCCESS - CẢ NĂM - BÁM SÁT FORM Đ...
Nguyen Thanh Tu Collection
 
IMMUNITY IMMUNITY refers to protection against infection, and the immune syst...
shilpa939953
 
Module 4: Burden of Disease Tutorial Slides S2 2025
Jonathan Hallett
 
Pharma ospi slides which help in ospi learning
rameetkumar304
 
01-Introduction-to-Information-Management.pdf
PrinceIbarra
 
Computing-Curriculum for Schools in Ghana
abigailanane203
 
ANTIBIOTICS.pptx.pdf………………… xxxxxxxxxxxxx
HakHe
 
human mycosis Human fungal infections are called human mycosis..pptx
shilpa939953
 
Anesthesia in Laparoscopic Surgery in India
mohitsuren827
 
STATICS OF THE RIGID BODIES Hibbelers.pdf
pascualasturiaskaye4
 
Pharmacology of Heart Failure /Pharmacotherapy of CHF
Rajshri Ghogare
 
O5-L3 Freight Transport Ops (International) V1.pdf
labyankof
 
Chapter 2 Heredity, Prenatal Development, and Birth.pdf
MarjorieLopezTiu
 
Insiders guide to clinical Medicine.pdf
AbhishekPatil315128
 

Syntax Definition

Editor's Notes

  • #10: demo Tiger compiler
  • #12: feedback loop
  • #13: feedback loop
  • #14: feedback loop
  • #15: feedback loop
  • #16: feedback loop
  • #38: talk about languagetalk about a language by using a language
  • #70: talk about languagetalk about a language by using a language
  • #88: demo Tiger compiler