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

The sbt-rats parser generator plugin for Scala

61f8010a7249d7ec93e197e96999fe6c?s=47 Tony Sloane
October 30, 2016
Research
0
340

The sbt-rats parser generator plugin for Scala

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

61f8010a7249d7ec93e197e96999fe6c?s=128

Tony Sloane

October 30, 2016
Tweet

More Decks by Tony Sloane

See All by Tony Sloane
61f8010a7249d7ec93e197e96999fe6c?s=48 inkytonik
0
44
61f8010a7249d7ec93e197e96999fe6c?s=48 inkytonik
0
44
61f8010a7249d7ec93e197e96999fe6c?s=48 inkytonik
2
290
61f8010a7249d7ec93e197e96999fe6c?s=48 inkytonik
0
64
61f8010a7249d7ec93e197e96999fe6c?s=48 inkytonik
0
29
61f8010a7249d7ec93e197e96999fe6c?s=48 inkytonik
2
53
61f8010a7249d7ec93e197e96999fe6c?s=48 inkytonik
1
170
61f8010a7249d7ec93e197e96999fe6c?s=48 inkytonik
0
140
61f8010a7249d7ec93e197e96999fe6c?s=48 inkytonik
0
77

Other Decks in Research

See All in Research
5ecdb396047959b02fbf88204af108ce?s=48 waptech
5
550
A658ec7f1badf73819dfa501165016c1?s=48 yuukit
4
1.4k
A8e5603efe2e904e5643163d1e0cb0d6?s=48 butsugiri
1
170
Cab798ff74597f6784c628b4119bbd2f?s=48 scwuaptx
1
1.8k
6f881fac818f465f2b375ed7e335cf2a?s=48 tathi
0
230
5dde5b632b4fbd5f9073c86f2e26f897?s=48 noguhiro2002
1
1.1k
80ebdd6d76fd11529a09b7a384e4f52a?s=48 ledgerback
0
210
4f7b64c10f3f95c6f6c99423380ad6f3?s=48 sobamchan
1
450
A82e268e52c06ad69b83f1a251c682d4?s=48 hiking
0
1.9k
2b692bd83f4418103142a053ecf5ff59?s=48 matsumoto_r
PRO
7
1.8k
Fccb5974b63d64636a7c90faf3bab51f?s=48 kikuzo
0
220
7b3e0dbc0d712ad5df602d9f9e5e4209?s=48 sei88888
0
360

Featured

See All Featured
E6c6e133e74c3b83f04d2861deaa1c20?s=48 searls
204
35k
Dafc4723e9a1c067796c0fec6f509774?s=48 lemiorhan
626
42k
7559f6cff1f5efc2d210965febd4d71c?s=48 bermonpainter
342
26k
39488f9d172ab92fd352f2cd7b73258d?s=48 mza
80
4.1k
016edace78ffe826f2348d1e0c504afd?s=48 maggiecrowley
8
400
95d9f37115fbb0d13135d0f77132f856?s=48 morganepeng
17
1.1k
027d1ebf66cc039a0bd3b55eeadbe75d?s=48 sachag
267
17k
1519587b1a0febb658c36c94f6272b0d?s=48 roundedbygravity
241
21k
Aebc2d07a50011e2a30d38435fde564a?s=48 jrom
114
7.1k
9fa239b3154a0169d99ab7bf1422dd12?s=48 marcelosomers
220
15k
245cee81a9c424266e5e401d844ea881?s=48 lara
16
2.6k
9cde37f47e4a800ea081ea42de8d749a?s=48 dougneiner
55
5.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 Anthony.Sloane@mq.edu.au @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