Upgrade to Pro — share decks privately, control downloads, hide ads and more …
Sign up for free

The sbt-rats parser generator plugin for Scala

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

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

More Decks by Tony Sloane

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

Other Decks in Research

See All in Research
CVPR2026論文紹介_VLMにとって​良いvision encoderとは何か？​Rethinking Model Selection in VLM Through the Lens of Gromov-Wasserstein Distance​
Avatar for 小林優斗 kobayashi31
1
250
クラウド・AI 時代の研究開発 DX / R&D Digital Transformation
Avatar for Yoshitaka Haribara hariby
0
180
Fukui Shibiten 39 - AI Art
Avatar for IWABUCHI Yu(u)ki butchi butchi
0
260
ふとした出会いで生まれたSkillが、 社内利用1位になるまで
Avatar for earlgrayMK mikimhk
22
24k
HackSick vol.7 LT資料【LLMアーキテクチャ入門・事前学習時の躓き所解説】 スパースなAttention・状態空間モデル
Avatar for Rikka Botan rikkabotan7
0
210
Google Cloud Next 2026 DM Recap Agentic Data Cloudを添えて / Google Cloud Next 2026 DM Recap
Avatar for nnaka2992 nnaka2992
0
140
Cross-Media Information Spaces and Architectures
Avatar for Beat Signer signer
PRO
0
380
Cross-Media Human-Information Interaction
Avatar for Beat Signer signer
PRO
0
260
SLAMはどこまで解決されたのか？
Avatar for tomonom tomonom
0
1.4k
論文読み会 SNLP2026 Tau2-Bench: Evaluating Conversational Agents in a Dual-Control Environment
Avatar for S s_mizuki_nlp
0
280
長時間動画QAにおけるマルチエージェント推論 ・SVAgent: Storyline-Guided Long Video Understanding via Cross-Modal Multi-Agent Collaboration
Avatar for 村川卓也 murakawatakuya
1
220
Apache Gravitinoで実現する Icebergカタログ統合とアクセスの一元化
Avatar for matsumooon matsumooon
0
560

Featured

See All Featured
Designing for Performance
Avatar for Lara Hogan lara
611
70k
Ethics towards AI in product and experience design
Avatar for Skipper Chong Warson skipperchong
2
410
Chasing Engaging Ingredients in Design
Avatar for Sebastian Deterding codingconduct
0
340
DBのスキルで生き残る技術 - AI時代におけるテーブル設計の勘所
Avatar for soudai sone soudai
PRO
68
58k
We Analyzed 250 Million AI Search Results: Here's What I Found
Avatar for Josh Blyskal joshbly
1
2k
How To Stay Up To Date on Web Technology
Avatar for Chris Coyier chriscoyier
790
250k
CoffeeScript is Beautiful & I Never Want to Write Plain JavaScript Again
Avatar for Sam Stephenson sstephenson
162
16k
Max Prin - Stacking Signals: How International SEO Comes Together (And Falls Apart)
Avatar for Tech SEO Connect techseoconnect
PRO
0
470
Into the Great Unknown - MozCon
Avatar for Noah Learner thekraken
41
2.7k
Raft: Consensus for Rubyists
Avatar for Patrick Van Stee vanstee
142
7.7k
How to Get Subject Matter Experts Bought In and Actively Contributing to SEO & PR Initiatives.
Avatar for Liv Day livdayseo
0
200
Skip the Path - Find Your Career Trail
Avatar for Mark Kilby mkilby
1
240

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