I'm a language workbench based on declarative DSLs for language definition.
Joined December 2009
- Tweets144
- Following21
- Followers203
- Likes22
Download @spoofax at spoofax.org :-)
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)
doi.org/10.1145/1932682.1869…
doi.org/10.1145/1932682.1869…
Finally an overview of SDF3!
I have provided SDF3 for ages
Multi-Purpose Syntax Definition with SDF3
An overview paper of SDF3 with @udesou for SEFM 2020
Preprint at eelcovisser.org/talks/2020/0…
spoofax retweeted
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/0…
spoofax retweeted
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. pldi20.sigplan.org/details/p…
spoofax retweeted
At university we used @spoofax which is a Programming Language Workbench, basically DSLs for creating compilers.
spoofax retweeted
Started dsl-course.org today at @UniTurku 🇫🇮! Looking forward to giving tutorials on @xtext + @xtendlang, @spoofax, and @jetbrains_mps!
spoofax retweeted
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/0…
spoofax retweeted
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…
spoofax retweeted
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…
spoofax retweeted
Proud to announce and share our @poplconf'18 paper on Intrinsically-Typed Definitional Interpreters for Imperative Languages popl18.sigplan.org/event/pop… with @ArjenRouvoet, Andrew Tolmach, Robbert Krebbers, @EelcoVisser
spoofax retweeted
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.
spoofax retweeted
@spoofax 2.3.0 was released today: metaborg.org/en/latest/sourc…. It includes my new SGLR parser implementation: JSGLR2.
spoofax retweeted
Declarative Language Definition
Slides of my ECOOP 2017 Summer School lecture
slideshare.net/eelcovisser/d…
spoofax retweeted
Video of my CurryOn 2017 talk on scope graphs
youtube.com/watch?v=0Eg6RDUJ…
Spoofax 2.2: new NaBL2 constraint solver, experimental SDF3 parser generator, overall improvements
metaborg.org/en/latest/sourc…
Spoofax 2.1: bug fixes, syntactic completions, and DynSem dynamic semantics specification meta-language
metaborg.org/en/latest/sourc…
spoofax retweeted
CC student @jeffgoderie did an internship at CERN, building a scripting language for PLC generation using @spoofax xitter.cf/eelcovisser/status/781…
Instructive visit to CERN, putting Jeffrey's PLC generator in @spoofax project in broader perspective; thanks Ivan, Fernando
spoofax retweeted
Instructive visit to CERN, putting Jeffrey's PLC generator in @spoofax project in broader perspective; thanks Ivan, Fernando