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

The sbt-rats parser generator plugin for Scala

Avatar for Tony Sloane Tony Sloane
October 30, 2016
Research
0
750

The sbt-rats parser generator plugin for Scala

With Franck Cassez and Scott Buckley. Tool talk at Scala Symposium 2016, Amsterdam.

Avatar for Tony Sloane

Tony Sloane

October 30, 2016
Tweet

More Decks by Tony Sloane

See All by Tony Sloane
Embedding Attribute Grammars
Avatar for Tony Sloane inkytonik
0
75
Respect Your Parents: How Attribution and Rewriting Can Get Along
Avatar for Tony Sloane inkytonik
0
100
LLVM and Scala
Avatar for Tony Sloane inkytonik
2
340
The Moama Functional Language Design and Implementation (and quite a bit about the Monto Disintegrated Development Environment)
Avatar for Tony Sloane inkytonik
0
120
Embedded Domain-Specific Languages
Avatar for Tony Sloane inkytonik
0
190
Monto: A Disintegrated Development Environment (WG 2.11 version)
Avatar for Tony Sloane inkytonik
2
120
Monto: A Disintegrated Development Environment
Avatar for Tony Sloane inkytonik
1
240
Respect Your Parents: How Attribution and Rewriting Can Get Along
Avatar for Tony Sloane inkytonik
0
240
Embedding a Rewriting DSL in Scala
Avatar for Tony Sloane inkytonik
0
160

Other Decks in Research

See All in Research
Generative Models 2025
Avatar for Hiroshi Takahashi takahashihiroshi
21
12k
ASSADS：ASMR動画に合わせて撫でられる感覚を提示するシステムの開発と評価 / ec75-shimizu
Avatar for yumulab yumulab
1
380
MGDSS：慣性式モーションキャプチャを用いたジェスチャによるドローンの操作 / ec75-yamauchi
Avatar for yumulab yumulab
0
240
SatCLIP: Global, General-Purpose Location Embeddings with Satellite Imagery
Avatar for SatAI.challenge satai
3
220
20250624_熊本経済同友会6月例会講演
Avatar for Traffic Brain trafficbrain
1
120
引力・斥力を制御可能なランダム部分集合の確率分布
Avatar for Takahiro Kawashima wasyro
0
170
大規模な2値整数計画問題に対する 効率的な重み付き局所探索法
Avatar for MIKIO KUBO mickey_kubo
1
260
プロシェアリング白書2025_PROSHARING_REPORT_2025
Avatar for CIRCULATION ,INC circulation
1
860
2025年度人工知能学会全国大会チュートリアル講演「深層基盤モデルの数理」
Avatar for Taiji Suzuki taiji_suzuki
24
15k
電力システム最適化入門
Avatar for MIKIO KUBO mickey_kubo
1
660
最適決定木を用いた処方的価格最適化
Avatar for MIKIO KUBO mickey_kubo
4
1.7k
NLP2025参加報告会 LT資料
Avatar for Hayahide Yamagishi hargon24
1
320

Featured

See All Featured
Designing Dashboards & Data Visualisations in Web Apps
Avatar for Des Traynor destraynor
231
53k
The MySQL Ecosystem @ GitHub 2015
Avatar for Sam Lambert samlambert
251
13k
Cheating the UX When There Is Nothing More to Optimize - PixelPioneers
Avatar for Stéphanie Walter stephaniewalter
281
13k
The Straight Up "How To Draw Better" Workshop
Avatar for Dennis Kardys denniskardys
234
140k
Facilitating Awesome Meetings
Avatar for Lara Hogan lara
54
6.4k
Rails Girls Zürich Keynote
Avatar for Gregor Martynus gr2m
94
14k
Exploring the Power of Turbo Streams & Action Cable | RailsConf2023
Avatar for Kevin Liebholz kevinliebholz
34
5.9k
Optimizing for Happiness
Avatar for Tom Preston-Werner mojombo
379
70k
ピンチをチャンスに：未来をつくるプロダクトロードマップ #pmconf2020
Avatar for Aki / @LoveIdahoBurger aki_iinuma
124
52k
Connecting the Dots Between Site Speed, User Experience & Your Business [WebExpo 2025]
Avatar for Tammy Everts tammyeverts
5
230
Agile that works and the tools we love
Avatar for Rasmus Luckow-Nielsen rasmusluckow
329
21k
Adopting Sorbet at Scale
Avatar for Ufuk Kayserilioglu ufuk
77
9.4k

Transcript

  1. THE SBT-RATS PARSER GENERATOR PLUGIN FOR SCALA Anthony Sloane Franck

    Cassez Scott Buckley Programming Languages and Verification Group Macquarie University, Sydney, Australia

  2. DEMO

  3. RATS! http://cs.nyu.edu/rgrimm/xtc/rats-intro.html Robert Grimm Parsing expression grammars Packrat parsing Generates

    Java

  4. MORE RATS!

  5. SYNTAX DEFINITIONS

  6. SYNTAX DEFINITIONS

  7. TREE DEFINITION

  8. PRETTY-PRINTING

  9. BINARY PARSING

  10. EXPRESSIONS

  11. SCALA LLVM LIBRARY

  12. MQ SCALA SMTLIB Replaces a hand-written lexer, parser, pretty-printer of

    more than 2,500 Scala code lines with less than 500 lines of syntax definition

  13. SOFTWARE LANGUAGE ENGINEERING AT MACQUARIE UNIVERSITY https://bitbucket.org/inkytonik/sbt-rats https://bitbucket.org/inkytonik/kiama [email protected] @inkytonik

    on Twitter High-level language processing in a familiar programming setting strategic term rewriting dynamically-scheduled attribute grammars abstract state machines pretty-printing combinators