The Rascal Language Workbench Tijs van der Storm Paul Klint - - PowerPoint PPT Presentation

The Rascal Language Workbench

Tijs van der Storm Paul Klint Jurgen Vinju et al.

Tuesday, May 31, 2011

Rascal Team

Paul Klint Jurgen Vinju Tijs v/d Storm Bob Fuhrer IBM

I N R I A INRIA

L W C a u t h

• r

I M P

Tuesday, May 31, 2011

Credits

Esprit: GIPE I & GIPE II (90’ s) ASF+SDF Meta-Environment (00’ s) Eclipse IDE Meta Tooling Platform (IMP) Rascal will be contributed to Eclipse.org in June 2011

“ G e n e r a t i

• n
• f

I n t e r a c t i v e P r

• g

r a m m i n g E n v i r

• n

m e n t s ” How Tijs & I were drafted...

Tuesday, May 31, 2011

Rascal application areas

D S L c

• n

s t r u c t i

• n

Static Analysis Source-to-source transformation Refactoring Repository Mining MDE Reverse engineering Software Visualisation I D E c

• n

s t r u c t i

• n

...

Tuesday, May 31, 2011

IDE construction = Meta Programming + GUI Programming

Tuesday, May 31, 2011

IDE construction = Meta Programming + GUI Programming

Eclipse IMP

Tuesday, May 31, 2011

IDE construction = Meta Programming + GUI Programming

Eclipse IMP Rascal

Tuesday, May 31, 2011

Meta Programming is about analysis and transformation

• f (models of) programs

Tuesday, May 31, 2011

Source Code Models Pictures

Generation Extraction Formalization Visualization Transformation Conversion Analysis

Domain Analysis for Rascal

• Meta Programming-

Tuesday, May 31, 2011

Rascal’ s Paradigm

all about textual languages a model is source code a context-free grammar is a meta model a parse tree is a model instance a model transformation is a source-to-source transformation patterns written in concrete syntax textual languages may be mapped to abstract languages

(from the MDE perspective)

Tuesday, May 31, 2011

Rascal’ s Paradigm

all about abstract languages a model is data (adt, rel, set, map, int, str, loc) a rascal type is a meta model a value is a model instance model transformation is a function some details patterns are values with holes list, set, bag, map matching list, set, bag, map comprehension

(from the MDE perspective)

Tuesday, May 31, 2011

Tuesday, May 31, 2011

Design Principles (a.k.a. Requirements)

Scaling up and scaling down Expressivity without magic One-stop-shop (integrated) Open Immediate

Simple = Simple A d v a n c e d = A c c e s s i b l e Meta Programming = Programming Integration = Valuable REPL

Tuesday, May 31, 2011

Ingredients

Familiar syntax & notation Immutable data Pattern-based dispatch Domain specific data-types General context-free grammars String templates Java back door to reuse third-party code IDE integration via Eclipse IMP

p r

• c

e d u r a l + + functional parse trees r e l a t i

• n

s matching traversal modular typed

Tuesday, May 31, 2011

Demo Outline

First Entities & Instances languages Immediate IDE: highlighting, folding, error marking, ... Java and SQL generation Online checking and error marking Then modular extensions Packages: Source-to-source transformation Derived I: expression language extension Derived II: linking to host language using annotations

Tuesday, May 31, 2011

Tuesday, May 31, 2011

Tuesday, May 31, 2011

Tuesday, May 31, 2011

Tuesday, May 31, 2011

Tuesday, May 31, 2011

Tuesday, May 31, 2011

Tuesday, May 31, 2011

Tuesday, May 31, 2011

Tuesday, May 31, 2011

Tuesday, May 31, 2011

Tuesday, May 31, 2011

Tuesday, May 31, 2011

Tuesday, May 31, 2011

Tuesday, May 31, 2011

Tuesday, May 31, 2011

Tuesday, May 31, 2011

Summary

4 languages 1+4 IDEs (Rascal’ s + Dynamically installed) 3 checkers 3 code generators to Java 1 SQL code generator 2 XML code generators Total lines of code: 950 LOC

Tuesday, May 31, 2011

Design Principles (a.k.a. Requirements)

Scaling up and scaling down Expressivity without magic One-stop-shop (integrated) Open Immediate

N

• D

a t a b a s e No Coordination N

• D

i a g r a m s Just Control flow Just EBNF J u s t M a t c h i n g Just Trees Just Relations No Algorithms Just IMP Just Debugging J u s t P r

• fi

l i n g Just Tracing

Tuesday, May 31, 2011

Other applications

Infer Generic Type arguments on FGJ [SCAM 2009] LDTA tool challenge: Oberon-0 compiler in 4 levels [LDTA2011] Derric: DSL for CSI (Digital Forensics) [ICSE 2011] Visitor 2 Interpreter refactoring [TOOLS 2011] Student projects (Java analysis, SVN analysis, ...)

Tuesday, May 31, 2011

S.W .O.T.

[S] simple, powerful, immediate, integral [W] alpha/beta quality, slow [O] optimization, applications, collaboration, growing team [T] the feature creep

Quality of Rascal

Tuesday, May 31, 2011

Immediate future

Applications in Software Analysis & Transformation Applications in DSL development and evaluation Move to Eclipse.org (next month) More grammarware (CASE for grammars) More source/model visualization import/ export

Tuesday, May 31, 2011

Questions?

http:/ /www.rascal-mpl.org http:/ /www.eclipse.org/imp http:/ /www.cwi.nl/sen1

Tuesday, May 31, 2011