spoofax

I'm a language workbench based on declarative DSLs for language definition.

[spoofax @spoofax]

Download @spoofax at https://t.co/2UjnktH1qN :-)

[Eelco Visser @EelcoVisser]

Honored to receive the OOPSLA 2020 Most Influential Paper Award (Spoofax with @lennartcl ) and the Onward! 2020 Most Notable Paper Award (Declarative Syntax Definition with @lennartcl and @guwac)

https://t.co/Makuyl2WP3
https://t.co/6KYocW0ciC

[Eelco Visser @EelcoVisser]

Thanks! Great recognition for everyone contributing to Spoofax in the last decade!

[spoofax @spoofax]

Finally an overview of SDF3!

I have provided SDF3 for ages

[Eelco Visser @EelcoVisser]

Multi-Purpose Syntax Definition with SDF3

An overview paper of SDF3 with @udesou for SEFM 2020

Preprint at https://t.co/i4Frs51PmV

[Eelco Visser @EelcoVisser]

The slides, links to code, and link to video recording of my tutorial at #PLDI2020 on "Declarative Language Definition with the @Spoofax Language Workbench" now available at:

https://t.co/wZi4NfNYJU

[PLDI @PLDI]

Come and learn about declarative DSLs for language definition at the @spoofax tutorial by @EelcoVisser on 16 June at #PLDI2020! Register for free by 5 June. https://t.co/RtULfFA9kk

[Arian Stolwijk @astolwijk]

@andrestaltz At university we used @spoofax which is a Programming Language Workbench, basically DSLs for creating compilers.

[Mikhail Barash @mikhail_barash]

Started https://t.co/1PwyMaQ1Al today at @UniTurku 🇫🇮! Looking forward to giving tutorials on @xtext + @xtendlang, @spoofax, and @jetbrains_mps!

[Eelco Visser @EelcoVisser]

I made new slides about specifying type checkers with Statix for a talk at INRIA last week. Format is <Statix code, example, scope graph diagram> with explanation to be provided by the speaker. Hope they are useful without talk nonetheless.

https://t.co/XjPpLcZeRu

[Eelco Visser @EelcoVisser]

BAPL20: The First Workshop on Build Automation and Programming Languages

Co-located with PLDI’20 in London, June 20, 2020

Submission of extended abstracts (2-4 pages) due March 15, 2020 (AoE)

https://t.co/rdrEGNcvtq

[Eelco Visser @EelcoVisser]

Build Automation and Programming Languages (BAPL 2020)

... to explore the interaction of build automation and programming languages in systems for incremental analysis, building, testing, packaging, and deployment of software.

At PLDI 2020

Contribute!

https://t.co/rdrEGNcvtq

[Casper Bach @eclecnant]

Proud to announce and share our @poplconf'18 paper on Intrinsically-Typed Definitional Interpreters for Imperative Languages https://t.co/McI6IiQqaa with @ArjenRouvoet, Andrew Tolmach, Robbert Krebbers, @EelcoVisser

[spoofax @spoofax]

Spoofax 2.3.0

https://t.co/3d2AcN6xin

[Jasper Denkers @jasperdenkers]

@spoofax JSGLR2 is part of my master’s thesis work which I’ll be presenting at the Parsing@SLE workshop on October 22 at @splashcon, Vancouver.

[Jasper Denkers @jasperdenkers]

@spoofax 2.3.0 was released today: https://t.co/43Rk2Kef4E. It includes my new SGLR parser implementation: JSGLR2.

[Eelco Visser @EelcoVisser]

Declarative Language Definition

Slides of my ECOOP 2017 Summer School lecture

https://t.co/a9srN99IE4

[Eelco Visser @EelcoVisser]

Video of my CurryOn 2017 talk on scope graphs

https://t.co/nkHekoQO4p

[spoofax @spoofax]

Spoofax 2.2: new NaBL2 constraint solver, experimental SDF3 parser generator, overall improvements

https://t.co/00qAf0RkVj

[spoofax @spoofax]

Spoofax 2.1: bug fixes, syntactic completions, and DynSem dynamic semantics specification meta-language

https://t.co/cTrgLGCiyq

[CompilerConstruction @TUDelftCS4200]

CC student @jeffgoderie did an internship at CERN, building a scripting language for PLC generation using @spoofax https://t.co/i8Qv3jtV6y

[Eelco Visser @EelcoVisser]

Instructive visit to CERN, putting Jeffrey's PLC generator in @spoofax project in broader perspective; thanks Ivan, Fernando