Download spoofax at spoofax.org :-)

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

Finally an overview of SDF3!

I have provided SDF3 for ages

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:

eelcovisser.org/talks/2020/06/…

Come and learn about declarative DSLs for language definition at the spoofax tutorial by Eelco Visser on 16 June at #PLDI2020 ! Register for free by 5 June. pldi20.sigplan.org/details/pldi-2…

André Staltz At university we used spoofax which is a Programming Language Workbench, basically DSLs for creating compilers.

Started dsl-course.org today at Turun yliopisto - University of Turku 🇫🇮! Looking forward to giving tutorials on Xtext + Eclipse Xtend, spoofax, and JetBrains MPS!

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.

eelcovisser.org/talks/2020/02/…

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)

pldi20.sigplan.org/home/bapl-2020

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!

pldi20.sigplan.org/home/bapl-2020

Proud to announce and share our POPL 2024'18 paper on Intrinsically-Typed Definitional Interpreters for Imperative Languages popl18.sigplan.org/event/popl-201… with @ArjenRouvoet, Andrew Tolmach, Robbert Krebbers, Eelco Visser

Spoofax 2.3.0

metaborg.org/en/latest/sour…

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

spoofax 2.3.0 was released today: metaborg.org/en/latest/sour…. It includes my new SGLR parser implementation: JSGLR2.

Declarative Language Definition

Slides of my ECOOP 2017 Summer School lecture

slideshare.net/eelcovisser/de…

Video of my CurryOn 2017 talk on scope graphs

youtube.com/watch?v=0Eg6RD…

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

metaborg.org/en/latest/sour…

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

metaborg.org/en/latest/sour…

CC student @jeffgoderie did an internship at CERN, building a scripting language for PLC generation using spoofax x.com/eelcovisser/st…

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