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
760

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
77
Respect Your Parents: How Attribution and Rewriting Can Get Along
Avatar for Tony Sloane inkytonik
0
110
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
250
Embedding a Rewriting DSL in Scala
Avatar for Tony Sloane inkytonik
0
160

Other Decks in Research

See All in Research
Delta Airlines® Customer Care in the U.S.: How to Reach Them Now
Avatar for booking.comcustomerservice bookingcomcustomersupportusa
0
110
Agentic AIとMCPを利用したサービス作成入門
Avatar for MIKIO KUBO mickey_kubo
0
390
数理最適化と機械学習の融合
Avatar for MIKIO KUBO mickey_kubo
15
9.1k
Large Language Model Agent: A Survey on Methodology, Applications and Challenges
Avatar for Shunsuke KITADA shunk031
14
9.5k
ノンパラメトリック分布表現を用いた位置尤度場周辺化によるRTK-GNSSの整数アンビギュイティ推定
Avatar for aoki nosse aoki_nosse
0
350
Ad-DS Paper Circle #1
Avatar for Yusuke Kaneko ykaneko1992
0
5.8k
時系列データに対する解釈可能な 決定木クラスタリング
Avatar for MIKIO KUBO mickey_kubo
2
870
A multimodal data fusion model for accurate and interpretable urban land use mapping with uncertainty analysis
Avatar for SatAI.challenge satai
3
260
とあるSREの博士「過程」 / A Certain SRE’s Ph.D. Journey
Avatar for Yuuki Tsubouchi (yuuk1) yuukit
8
3.9k
LLM-as-a-Judge: 文章をLLMで評価する@教育機関DXシンポ
Avatar for Kouta Nakayama k141303
3
850
Trust No Bot? Forging Confidence in AI for Software Engineering
Avatar for Thomas Zimmermann tomzimmermann
1
260
cvpaper.challenge 10年の軌跡 / cvpaper.challenge a decade-long journey
Avatar for gatheluck gatheluck
1
280

Featured

See All Featured
Six Lessons from altMBA
Avatar for Skipper Chong Warson skipperchong
28
3.9k
A designer walks into a library…
Avatar for Paul Jervis Heath pauljervisheath
207
24k
Dealing with People You Can't Stand - Big Design 2015
Avatar for Cassini Nazir cassininazir
367
26k
Build The Right Thing And Hit Your Dates
Avatar for Maggie C. maggiecrowley
37
2.8k
We Have a Design System, Now What?
Avatar for Morgane Peng morganepeng
53
7.7k
The Pragmatic Product Professional
Avatar for Laura Van Doore lauravandoore
36
6.8k
Balancing Empowerment & Direction
Avatar for Lara Hogan lara
2
550
Fashionably flexible responsive web design (full day workshop)
Avatar for Andy Clarke malarkey
407
66k
Scaling GitHub
Avatar for Zach Holman holman
461
140k
Building Flexible Design Systems
Avatar for Yesenia Perez-Cruz yeseniaperezcruz
328
39k
The Invisible Side of Design
Avatar for Vitaly Friedman smashingmag
301
51k
Documentation Writing (for coders)
Avatar for Carmen Chung carmenintech
73
5k

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