Upgrade to Pro — share decks privately, control downloads, hide ads and more …

FAST Resolution (benevol13)

9847702de1f7f19db8c3e158325baa8e?s=47 Yuriy Tymchuk
December 17, 2013
Research
0
170

FAST Resolution (benevol13)

Presentation of FAST generic symbol resolution at BENEVOL 2013 workshop

9847702de1f7f19db8c3e158325baa8e?s=128

Yuriy Tymchuk

December 17, 2013
Tweet

More Decks by Yuriy Tymchuk

See All by Yuriy Tymchuk
JIT Feedback — what Experienced Developers like about Static Analysis (icpc2018)
9847702de1f7f19db8c3e158325baa8e?s=48 uko
0
110
Renraku — the One Static Analysis Model to Rule Them All (iwst2017)
9847702de1f7f19db8c3e158325baa8e?s=48 uko
0
110
Pharo Quality Engine: The Last Strokes (esug2017)
9847702de1f7f19db8c3e158325baa8e?s=48 uko
0
79
The False False Positives of Static Analysis (sattose2017)
9847702de1f7f19db8c3e158325baa8e?s=48 uko
0
85
Про що не говорять програмісти, про що мовчать науковці MK2 (ucu2016)
9847702de1f7f19db8c3e158325baa8e?s=48 uko
1
110
Walls, Pillars and Beams: A 3D Decomposition of Quality Anomalies (vissoft2016)
9847702de1f7f19db8c3e158325baa8e?s=48 uko
0
55
Stories About Renraku — the new Quality Model of Pharo (esug2016)
9847702de1f7f19db8c3e158325baa8e?s=48 uko
0
250
When QualityAssistant Meets Pharo [Enforced Code Critiques Motivate More Valuable Rules] (iwst2016)
9847702de1f7f19db8c3e158325baa8e?s=48 uko
0
75
Про що не говорять програмісти, про що мовчать науковці (ucu2015)
9847702de1f7f19db8c3e158325baa8e?s=48 uko
1
67

Other Decks in Research

See All in Research
DoubleField_CV勉強会_CVPR2022.pdf
8f8448d928203d36c784da9874551d61?s=48 kanosawa
0
160
Real-time Shading with Free-form Planar Area Lights using Linearly Transformed Cosines (JCGT & I3D 2022)
94870c02836167043f37f05ae1032690?s=48 tatsy
0
120
アノテーションのバイアス排除に関する2020年代の研究動向
Cb3c74960f845f8309702eb95f7e2f2a?s=48 kuri8ive
1
480
第14回チャンピオンズミーティング・ジェミニ杯ラウンド1集計 / Umamusume Gemini 2022 Round１
9782dd351a8f1737d4ef02d839e821f9?s=48 kitachan_black
0
890
第9回全日本コンピュータビジョン勉強会「StyleNeRF: A Style-based 3D Aware Generator for High-resolution Image Synthesis」発表資料
24181c881290162bdd810014c5b880d9?s=48 maguro27
1
3.3k
論文紹介 / GeoDiff: A Geometric Diffusion Model for Molecular Conformation Generation
2ad725754b7ea0ff9e0abb9b7017fc07?s=48 forest1988
1
130
Traps and Transport Resistance—The Next Frontier for Stable State-of-the-Art Non-Fullerene Acceptor Solar Cells
334f01a47399398d714386a72edb727a?s=48 deibel
0
520
【RESEARCH Conference 2022】主体性ある未来をヨコクする（コクヨ株式会社 山下 正太郎氏）
15d9e2febc88860ac87cdca34e21fd80?s=48 reseachconf
1
180
再帰化への認知的転回/the-turn-to-recursive-system
Cd3d2cb2dadf5488935fe0ddaea7938a?s=48 monochromegane
0
200
第12回チャンピオンズミーティング・アリエス杯ラウンド1集計 / Umamusume Aries 2022 Round1
9782dd351a8f1737d4ef02d839e821f9?s=48 kitachan_black
0
1.6k
より良いTransformerをつくる
A8e5603efe2e904e5643163d1e0cb0d6?s=48 butsugiri
22
7.6k
企業研究者の生きる道　〜ネットワークエンジニアの場合〜
Fccb5974b63d64636a7c90faf3bab51f?s=48 kikuzo
1
420

Featured

See All Featured
Statistics for Hackers
56c4053438af8e8b90d6f53cbb7573be?s=48 jakevdp
782
210k
A Modern Web Designer's Workflow
8081b26e05bb4354f7d65ffc34cbbd67?s=48 chriscoyier
689
180k
How STYLIGHT went responsive
F716e5f737fcfb03f2cf8d1a184f1dbe?s=48 nonsquared
85
4k
VelocityConf: Rendering Performance Case Studies
96270e4c3e5e9806cf7245475c00b275?s=48 addyosmani
316
22k
Fantastic passwords and where to find them - at NoRuKo
8ec1383b240b5ba15ffb9743fceb3c0e?s=48 philnash
27
1.6k
What’s in a name? Adding method to the madness
C0390e8b11079f8761c0cd3274ed61cb?s=48 productmarketing
11
1.6k
Testing 201, or: Great Expectations
A9704266587836f7e784235e5073b93e?s=48 jmmastey
21
5.5k
Adopting Sorbet at Scale
2bb923c57a1fdc3a2eb484bb8d565fd2?s=48 ufuk
63
7.6k
Faster Mobile Websites
C620790ae5bf5b50c245b2e0ef95f338?s=48 deanohume
294
28k
ParisWeb 2013: Learning to Love: Crash Course in Emotional UX Design
651dcfe41723207fbb0aa044a4f7c07f?s=48 dotmariusz
100
6k
The Invisible Customer
4262b9cfacfb6b2c77f23e1d0310cd3e?s=48 myddelton
110
11k
Building Applications with DynamoDB
39488f9d172ab92fd352f2cd7b73258d?s=48 mza
84
4.8k

Transcript

  1. Generic Name Resolution with Metamodels Yuriy Tymchuk, Benjamin Arezki, Anne

    Etien, Nicolas Anquetil and Stéphane Ducasse

  2. Software Assessment Development Assessment

  3. Software Assessment

  4. 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

  5. Resolving symbols #middleOf:and: b a sum ^st st := sum

    + a b / sum 2 a b sum

  6. Moose Toolchain www.moosetechnology.org

  7. FAMIX Metamodel        

                            !           "#    # # FAMIX

  8. Core metamodel        

                    !"#$    %!"#$    %&!"#$       %   %&  !"#$                   !'       !'  &       #      $           $        ( % )  *"  )  #$+,   )  #$   ! )  #$!

  9. Smalltalk metamodel        

                                                     !  "              #        #                     $ !                  %&'  $%(   !    $ )  $ "(  )  *+   )     !)  *+  !)  %! !)          %          % )  % , ' )              %       %       

  10. Java (sub)Metamodel        

                                                                                                                         !      " #$%&'    (  &'    (  &'   #$%     (      (        &'      !      &'           &'         "     "    &    ! '  !          )               *     +     $(         #$% '    ,  &'   - ,  &' ./   ,  &'   $ !,  &' $ !  ',    !,  &'  !  0 '              -           - '     $( .     !  ( .  ! .  $ (    !  # $&   !'   &  "+      "+     #$% 

  11. Resolving a symbol ⚜

  12. Lookup Symbol Method scope Class scope Superclass scope Package scope

  13. Select Symbol private? public? protected?

  14. Case studies Pharo (smalltalk) Java (subset) Cobol

  15. None