Downloaded 18 times
![Package Name
x = 1
y = 1 (2, 1)
(2, 2)(1, 2)
x = 2
y = 2
47
aBuilder
row
grow.
aBuilder
row
fill.
aBuilder
column
grow.
aBuilder
column
fill.
aBuilder
x:
1
y:
1
add:
(LabelShape
new
text:
[
:each
|
each
name
];
borderColor:
#black;
borderWidth:
1;
yourself).
aBuilder
x:
1
y:
2
w:
2
h:
1
add:
(RectangleShape
new
borderColor:
#black;
borderWidth:
1;
width:
200;
height:
100;
yourself)](https://image.slidesharecdn.com/languageembedding-101024112755-phpapp01/75/Dynamic-Language-Embedding-With-Homogeneous-Tool-Support-47-2048.jpg)
![Package Name
x = 1
y = 1 (2, 1)
(2, 2)(1, 2)
x = 2
y = 2
48
row
=
grow.
row
=
fill.
column
=
grow.
column
=
fill.
(1
,
1)
=
label
text:
[
:each
|
each
name
];
borderColor:
#black;
borderWidth:
1.
(1
,
2)
-‐
(2
,
1)
=
rectangle
borderColor:
#black;
borderWidth:
1;
width:
200;
height:
100.](https://image.slidesharecdn.com/languageembedding-101024112755-phpapp01/75/Dynamic-Language-Embedding-With-Homogeneous-Tool-Support-48-2048.jpg)
![shape
{
cols:
#grow,
#fill;
rows:
#grow,
#fill;
}
label
{
position:
1
,
1;
text:
[
:each
|
each
name
];
borderColor:
#black;
borderWidth:
1;
}
rectangle
{
position:
1
,
2;
colspan:
2;
borderColor:
#black;
borderWidth:
1;
width:
200;
height:
100;
}
Package Name
x = 1
y = 1 (2, 1)
(2, 2)(1, 2)
x = 2
y = 2
50](https://image.slidesharecdn.com/languageembedding-101024112755-phpapp01/75/Dynamic-Language-Embedding-With-Homogeneous-Tool-Support-50-2048.jpg)
![scanIdentifier
self step.
((currentCharacter between: $A and: $Z) or:
[ currentCharacter between: $a and: $z ]) ifTrue: [
[ self recordMatch: #IDENTIFIER.
self step.
(currentCharacter between: $0 and: $9)
or: [ (currentCharacter between: $A and: $Z) or:
[ currentCharacter between: $a and: $z ] ] ]
whileTrue.
^ self reportLastMatch ]
86](https://image.slidesharecdn.com/languageembedding-101024112755-phpapp01/75/Dynamic-Language-Embedding-With-Homogeneous-Tool-Support-86-2048.jpg)
![#( #[1 0 9 0 25 0 13 0 34 0 17 0 40 0 21 0 41]
#[1 0 9 0 25 0 13 0 34 0 93 0 76 0 157 0 112]
#[1 2 38 0 21 2 38 0 25 2 38 0 26 0 13 0 34]
#[0 1 154 0 16 0 21 0 25 0 26 0 34 0 40 0 41]
#[0 1 210 0 76 0 81]
#[0 1 214 0 76 0 81]
#[1 0 173 0 76 0 177 0 81]
#[0 1 134 0 16 0 21 0 25 0 26 0 34 0 40 0 41]
#[1 1 46 0 21 1 46 0 25 1 46 0 26 1 69]
#[1 1 54 0 21 1 54 0 25 1 54 0 26 1 54 0 34]
#[0 2 102 0 21 0 25 0 26 0 34 0 40 0 41 0 76]
#[0 2 50 0 21 0 25 0 26 0 76 0 79]
#[1 1 13 0 76 2 85 0 124 1 21 0 125]
#[1 2 89 0 17 2 30 0 21 2 30 0 82]
#[1 2 93 0 21 2 97 0 82] )
87](https://image.slidesharecdn.com/languageembedding-101024112755-phpapp01/75/Dynamic-Language-Embedding-With-Homogeneous-Tool-Support-87-2048.jpg)
![Assignments and Swapping
Asynchronous Messages
Automaton
Brainfuck Language
Functional Pattern Matching
Grammar Definition
Message Pipes
Mondrian
Object Relationships
Positional Arguments
Program Checking
Quasiquoting
Regular Expression
Roman Numbers
SPath Expression
SQL
Schematic Tables
String Interpolation
Transactional Memory
Tuple Space
116
[http://scg.unibe.ch/research/helvetia/examples]](https://image.slidesharecdn.com/languageembedding-101024112755-phpapp01/75/Dynamic-Language-Embedding-With-Homogeneous-Tool-Support-116-2048.jpg)
![Assignments and Swapping
Asynchronous Messages
Automaton
Brainfuck Language
Functional Pattern Matching
Grammar Definition
Message Pipes
✓Mondrian
Object Relationships
Positional Arguments
Program Checking
Quasiquoting
Regular Expression
Roman Numbers
SPath Expression
✓SQL
Schematic Tables
String Interpolation
Transactional Memory
Tuple Space
117
[http://scg.unibe.ch/research/helvetia/examples]](https://image.slidesharecdn.com/languageembedding-101024112755-phpapp01/75/Dynamic-Language-Embedding-With-Homogeneous-Tool-Support-117-2048.jpg)
![Assignments and Swapping
Asynchronous Messages
Automaton
Brainfuck Language
Functional Pattern Matching
Grammar Definition
Message Pipes
✓Mondrian
Object Relationships
Positional Arguments
‣ Program Checking
‣ Quasiquoting
Regular Expression
Roman Numbers
SPath Expression
✓SQL
Schematic Tables
String Interpolation
‣ Transactional Memory
Tuple Space
118
[http://scg.unibe.ch/research/helvetia/examples]](https://image.slidesharecdn.com/languageembedding-101024112755-phpapp01/75/Dynamic-Language-Embedding-With-Homogeneous-Tool-Support-118-2048.jpg)
Uploaded byLukas Renggli
Dynamic Language Embedding With Homogeneous Tool Support
The document outlines a PhD defense by Lukas Renggli regarding dynamic language embedding, emphasizing the need for a flexible host-language grammar that can accommodate language extensions, a first-class language description, and a transformation mechanism for embedded languages. It discusses the integration of context-dependent languages while maintaining tool support. Key concepts include language boxes, dynamic grammars, and various types of embedded languages.
More Related Content
Similar to Dynamic Language Embedding With Homogeneous Tool Support
Dynamic Language Embedding With Homogeneous Tool Support
- 1. Dynamic Language Embedding WithHomogeneous Tool Support PhD Defense Lukas Renggli Advisor Oscar Nierstrasz 1
- 2. 2 SELECT email FROM users WHERE username = 'lr'
- 3. 3 SELECT email FROM users WHERE username = 'lr' Syntax
- 4. 4 SELECT email FROM users WHERE username = 'lr' Semantics
- 5. General Purpose Host Language 5 + SELECT email FROM users WHERE username = 'lr'
- 6. General Purpose Host Language 6 ? SELECT email FROM users WHERE username = 'lr' SyntaxSQL SemanticsSQL SyntaxHost SemanticsHost ToolsHost
- 7.
- 8.
- 9.
- 10.
- 11.
- 12.
- 13.
- 14.
- 15.
- 16.
- 17.
- 18.
- 19.
- 20.
- 21. Homogeneous Code and DataAbstraction 21
- 22.
- 23.
- 24. Thesis To support seamlessintegration of context-dependent languages without breaking the tools, we need 1. a host-language grammar that can be changed by language extensions, 2. a first-class language description used by the development environment, and 3. a transformation mechanism of the embedded language into a common executable representation. 24
- 25. Language Boxes Host Language Dynamic Grammars Languageand Tool Extensions 25
- 26. Language Boxes Host Language Dynamic Grammars Languageand Tool Extensions 26
- 27. Language Boxes Host Language Dynamic Grammars Languageand Tool Extensions 27
- 28. Language Boxes Host Language Dynamic Grammars Languageand Tool Extensions 28
- 29. Language Boxes Host Language Dynamic Grammars Languageand Tool Extensions 29
- 30. Language Boxes Host Language Dynamic Grammars Languageand Tool Extensions 30
- 31.
- 32.
- 33. 33 ◦ ◦ ◦ ◦◦ ● ◦ ● ◦ ◦ ● ● ● ◦ ◦ ● ◦ ● ● ● ◦ ● ● ●Syntax Vocabulary Semantics
- 34. 34 Host Language ◦◦ ◦ ◦ ◦ ● ◦ ● ◦ ◦ ● ● ● ◦ ◦ ● ◦ ● ● ● ◦ ● ● ●Syntax Vocabulary Semantics
- 35. 35 Host Language ◦◦ ◦ ◦ ◦ ● Internal Language ◦ ● ◦ ◦ ● ● ● ◦ ◦ ● ◦ ● ● ● ◦ ● ● ●Syntax Vocabulary Semantics
- 36. 36 Host Language ◦◦ ◦ ◦ ◦ ● Internal Language ◦ ● ◦ Pidgin ◦ ● ● ● ◦ ◦ ● ◦ ● ● ● ◦ ● ● ●Syntax Vocabulary Semantics
- 37. 37 Host Language ◦◦ ◦ ◦ ◦ ● Internal Language ◦ ● ◦ Pidgin ◦ ● ● ● ◦ ◦ ● ◦ ● ● ● ◦ Creole ● ● ●Syntax Vocabulary Semantics
- 38. 38 Host Language ◦◦ ◦ Argot ◦ ◦ ● Internal Language ◦ ● ◦ Pidgin ◦ ● ● ● ◦ ◦ ● ◦ ● ● ● ◦ Creole ● ● ●Syntax Vocabulary Semantics
- 39. 39 Host Language ◦◦ ◦ Argot ◦ ◦ ● Internal Language ◦ ● ◦ Pidgin ◦ ● ● — ● ◦ ◦ — ● ◦ ● — ● ● ◦ Creole ● ● ●Syntax Vocabulary Semantics
- 40. 40 Pidgin ◦ ●● Creole ● ● ● Argot ◦ ◦ ● Syntax Vocabulary Semantics
- 41.
- 42.
- 43.
- 44.
- 45.
- 46. 46 Package Name x =1 y = 1 (2, 1) (2, 2)(1, 2) x = 2 y = 2
- 47. Package Name x =1 y = 1 (2, 1) (2, 2)(1, 2) x = 2 y = 2 47 aBuilder row grow. aBuilder row fill. aBuilder column grow. aBuilder column fill. aBuilder x: 1 y: 1 add: (LabelShape new text: [ :each | each name ]; borderColor: #black; borderWidth: 1; yourself). aBuilder x: 1 y: 2 w: 2 h: 1 add: (RectangleShape new borderColor: #black; borderWidth: 1; width: 200; height: 100; yourself)
- 48. Package Name x =1 y = 1 (2, 1) (2, 2)(1, 2) x = 2 y = 2 48 row = grow. row = fill. column = grow. column = fill. (1 , 1) = label text: [ :each | each name ]; borderColor: #black; borderWidth: 1. (1 , 2) -‐ (2 , 1) = rectangle borderColor: #black; borderWidth: 1; width: 200; height: 100.
- 49.
- 50. shape { cols: #grow, #fill; rows: #grow, #fill; } label { position: 1 , 1; text: [ :each | each name ]; borderColor: #black; borderWidth: 1; } rectangle { position: 1 , 2; colspan: 2; borderColor: #black; borderWidth: 1; width: 200; height: 100; } Package Name x = 1 y = 1 (2, 1) (2, 2)(1, 2) x = 2 y = 2 50
- 51.
- 52.
- 53.
- 54.
- 55.
- 56.
- 57. Language Boxes Host Language Dynamic Grammars Languageand Tool Extensions 57 Renggli et al.ECOOP 2010
- 58.
- 59.
- 60.
- 61.
- 62.
- 63.
- 64.
- 65. 65 SELECT * FROM users
- 66. 66 | r | r := ^ User fromRow: r .SELECT * FROM users
- 67.
- 68.
- 69.
- 70. ‣ System ‣ Packages ‣Classes ‣ Methods Language Scope 70
- 71.
- 72.
- 73. Language Concern 73 Context Menus NavigationSearch Code Expansion Code Completion Error Correction Custom Inspector Refactorings Code Folding Highlighting
- 74.
- 75.
- 76. Language Change 76 Host Language +SQL Language
- 77. Language Change 77 Host Language +SQL Language + ...
- 78. Host Language + SQLLanguage + ... = Custom Host Language Language Change 78
- 79.
- 80. Language Boxes Host Language Dynamic Grammars Languageand Tool Extensions 80 Renggli et al.SLE 2009
- 81. Language Boxes Host Language Dynamic Grammars 81 Languageand Tool Extensions
- 82.
- 83.
- 84.
- 85.
- 86. scanIdentifier self step. ((currentCharacter between: $A and: $Z) or: [ currentCharacter between: $a and: $z ]) ifTrue: [ [ self recordMatch: #IDENTIFIER. self step. (currentCharacter between: $0 and: $9) or: [ (currentCharacter between: $A and: $Z) or: [ currentCharacter between: $a and: $z ] ] ] whileTrue. ^ self reportLastMatch ] 86
- 87. #( #[1 0 90 25 0 13 0 34 0 17 0 40 0 21 0 41] #[1 0 9 0 25 0 13 0 34 0 93 0 76 0 157 0 112] #[1 2 38 0 21 2 38 0 25 2 38 0 26 0 13 0 34] #[0 1 154 0 16 0 21 0 25 0 26 0 34 0 40 0 41] #[0 1 210 0 76 0 81] #[0 1 214 0 76 0 81] #[1 0 173 0 76 0 177 0 81] #[0 1 134 0 16 0 21 0 25 0 26 0 34 0 40 0 41] #[1 1 46 0 21 1 46 0 25 1 46 0 26 1 69] #[1 1 54 0 21 1 54 0 25 1 54 0 26 1 54 0 34] #[0 2 102 0 21 0 25 0 26 0 34 0 40 0 41 0 76] #[0 2 50 0 21 0 25 0 26 0 76 0 79] #[1 1 13 0 76 2 85 0 124 1 21 0 125] #[1 2 89 0 17 2 30 0 21 2 30 0 82] #[1 2 93 0 21 2 97 0 82] ) 87
- 88.
- 89. a..z a..z 0..9 ID ::= letter { letter | digit } ; 89
- 90. letter letter digit sequence choice many ID ::= letter { letter | digit } ; 90
- 91.
- 92. letter letter digit sequence choice many letter ! letter | "_" 92
- 93.
- 94.
- 95.
- 96. Insert grammar fragment before/after grammar production as a choice/sequence/replacement. 96 Language Change
- 97. Insert SQL grammar after expression production as an additional choice 97 Language Change
- 98.
- 99.
- 100.
- 101. SELECT * FROM users 101
- 102. SELECT * FROM users 102 | r | r := ^ User fromRow: r .
- 103.
- 104. SELECT * FROM users<SQL: > 104
- 105.
- 106.
- 107.
- 108.
- 109.
- 110.
- 111. expr sql| 111 !sql expr / !expr sql
- 112. expr sql$ 112 !sql expr / !expr sql / ui
- 113. expr sql$ 113 !sql expr / !expr sql / ui
- 114. Language and ToolExtensions Language Boxes Host Language Dynamic Grammars Renggli et al.DYLA 2010 114
- 115. Language Boxes Host Language Dynamic Grammars Languageand Tool Extensions 115
- 116. Assignments and Swapping AsynchronousMessages Automaton Brainfuck Language Functional Pattern Matching Grammar Definition Message Pipes Mondrian Object Relationships Positional Arguments Program Checking Quasiquoting Regular Expression Roman Numbers SPath Expression SQL Schematic Tables String Interpolation Transactional Memory Tuple Space 116 [http://scg.unibe.ch/research/helvetia/examples]
- 117. Assignments and Swapping AsynchronousMessages Automaton Brainfuck Language Functional Pattern Matching Grammar Definition Message Pipes ✓Mondrian Object Relationships Positional Arguments Program Checking Quasiquoting Regular Expression Roman Numbers SPath Expression ✓SQL Schematic Tables String Interpolation Transactional Memory Tuple Space 117 [http://scg.unibe.ch/research/helvetia/examples]
- 118. Assignments and Swapping AsynchronousMessages Automaton Brainfuck Language Functional Pattern Matching Grammar Definition Message Pipes ✓Mondrian Object Relationships Positional Arguments ‣ Program Checking ‣ Quasiquoting Regular Expression Roman Numbers SPath Expression ✓SQL Schematic Tables String Interpolation ‣ Transactional Memory Tuple Space 118 [http://scg.unibe.ch/research/helvetia/examples]
- 119. apply hasChanged hasConflict Change object * changes Process 0..1 currentTransaction do: aBlock retry: aBlock checkpoint abort:anObject escapeContext Transaction previousCopy workingCopy ObjectChange applyBlock conflictTestBlock CustomChange * Transactional Memory 119
- 120.
- 121.
- 122. Language Boxes Host Language Dynamic Grammars Languageand Tool Extensions Renggli et al. CLSS 2009 Renggli et al. IWST 2009 Nierstrasz et al. LNCS 2009 Renggli et al. TOOLS 2010 122
- 123. Language Boxes Host Language Dynamic Grammars Languageand Tool Extensions 123 To support seamless integration of context-dependent languages without breaking the tools, we need 1. a host-language grammar that can be changed by language extensions, 2. a first-class language description used by the development environment, and 3. a transformation mechanism of the embedded language into a common executable representation.
- 124. Language Boxes Host Language Dynamic Grammars Languageand Tool Extensions 124 To support seamless integration of context-dependent languages without breaking the tools, we need 1. a host-language grammar that can be changed by language extensions, 2. a first-class language description used by the development environment, and 3. a transformation mechanism of the embedded language into a common executable representation.
- 125. Language Boxes Host Language Dynamic Grammars Languageand Tool Extensions 125 To support seamless integration of context-dependent languages without breaking the tools, we need 1. a host-language grammar that can be changed by language extensions, 2. a first-class language description used by the development environment, and 3. a transformation mechanism of the embedded language into a common executable representation.
- 126. Language Boxes Host Language Dynamic Grammars Languageand Tool Extensions 126 To support seamless integration of context-dependent languages without breaking the tools, we need 1. a host-language grammar that can be changed by language extensions, 2. a first-class language description used by the development environment, and 3. a transformation mechanism of the embedded language into a common executable representation.
- 127. Language Boxes Host Language Dynamic Grammars 127 Languageand Tool Extensions