Upgrade to Pro
— share decks privately, control downloads, hide ads and more …
Speaker Deck
Features
Speaker Deck
PRO
Sign in
Sign up for free
Search
Search
FAST Resolution (benevol13)
Search
Yuriy Tymchuk
December 17, 2013
Research
0
320
FAST Resolution (benevol13)
Presentation of FAST generic symbol resolution at BENEVOL 2013 workshop
Yuriy Tymchuk
December 17, 2013
Tweet
Share
More Decks by Yuriy Tymchuk
See All by Yuriy Tymchuk
JIT Feedback — what Experienced Developers like about Static Analysis (icpc2018)
uko
0
250
Renraku — the One Static Analysis Model to Rule Them All (iwst2017)
uko
0
130
Pharo Quality Engine: The Last Strokes (esug2017)
uko
0
98
The False False Positives of Static Analysis (sattose2017)
uko
0
93
Про що не говорять програмісти, про що мовчать науковці MK2 (ucu2016)
uko
1
130
Walls, Pillars and Beams: A 3D Decomposition of Quality Anomalies (vissoft2016)
uko
0
150
Stories About Renraku — the new Quality Model of Pharo (esug2016)
uko
0
290
When QualityAssistant Meets Pharo [Enforced Code Critiques Motivate More Valuable Rules] (iwst2016)
uko
0
180
Про що не говорять програмісти, про що мовчать науковці (ucu2015)
uko
1
86
Other Decks in Research
See All in Research
出生抑制策と少子化
morimasao16
0
280
Online Nonstationary and Nonlinear Bandits with Recursive Weighted Gaussian Process
monochromegane
0
100
SSII2024 [PD] 画像センシングの未来
ssii
PRO
0
290
AIを前提とした体験の実現に向けて/toward_ai_based_experiences
monochromegane
1
430
Introduction of NII S. Koyama's Lab (AY2024)
skoyamalab
0
330
SSII2024 [OS1] 画像生成技術の発展: 過去10年の軌跡と未来への展望
ssii
PRO
3
1.5k
IVILab. Research Introduction
ysugano
0
260
訓練データ作成のためのCloudCompareを利用した点群の手動ラベリング
kentaitakura
0
920
-SSII技術マップを通して見る過去・現在,そして未来-
hf149
1
490
方策の長期性能に対する効率的なオフライン評価・学習 (Long-term Off-Policy Evaluation and Learning)
usaito
PRO
2
410
大規模言語モデルを用いた その場での要約に基づく レビュー探索インタフェース
yamamotolab
0
240
Mathematical Optimization +Artificial Intelligence =MOAI
mickey_kubo
1
230
Featured
See All Featured
How GitHub Uses GitHub to Build GitHub
holman
471
290k
Building a Scalable Design System with Sketch
lauravandoore
458
32k
Faster Mobile Websites
deanohume
303
30k
The Success of Rails: Ensuring Growth for the Next 100 Years
eileencodes
35
6.3k
Responsive Adventures: Dirty Tricks From The Dark Corners of Front-End
smashingmag
248
20k
Fashionably flexible responsive web design (full day workshop)
malarkey
399
65k
Scaling GitHub
holman
458
140k
Being A Developer After 40
akosma
72
580k
Web development in the modern age
philhawksworth
203
10k
[RailsConf 2023] Rails as a piece of cake
palkan
35
4.4k
The Brand Is Dead. Long Live the Brand.
mthomps
52
36k
Building a Modern Day E-commerce SEO Strategy
aleyda
25
6.7k
Transcript
Generic Name Resolution with Metamodels Yuriy Tymchuk, Benjamin Arezki, Anne
Etien, Nicolas Anquetil and Stéphane Ducasse
Software Assessment Development Assessment
Software Assessment
Modelling source code #middleOf:and: b a sum ^st st :=
sum + a b / sum 2 middleOf: a and: b | sum | sum := a + b. ^ sum / 2
Resolving symbols #middleOf:and: b a sum ^st st := sum
+ a b / sum 2 a b sum
Moose Toolchain www.moosetechnology.org
FAMIX Metamodel
! "# # # FAMIX
Core metamodel
!"#$ %!"#$ %&!"#$ % %& !"#$ !' !' & # $ $ ( % ) *" ) #$+, ) #$ ! ) #$!
Smalltalk metamodel
! " # # $ ! %&' $%( ! $ ) $ "( ) *+ ) !) *+ !) %! !) % % ) % , ' ) % %
Java (sub)Metamodel
! " #$%&' ( &' ( &' #$% ( ( &' ! &' &' " " & ! ' ! ) * + $( #$% ' , &' - , &' ./ , &' $ !, &' $ ! ', !, &' ! 0 ' - - ' $( . ! ( . ! . $ ( ! # $& !' & "+ "+ #$%
Resolving a symbol ⚜
Lookup Symbol Method scope Class scope Superclass scope Package scope
Select Symbol private? public? protected?
Case studies Pharo (smalltalk) Java (subset) Cobol
None