Planet Stratego

in

class X {
   X(int y|) {
   }
 }

class X { ... }
class Y| { ... }

class X {
   private int x;
   private int y;
}

package foo;
class X {
   Horoscope computeHoroscope();
}

package bar;
class Y {
   ...
   x.computeHoroscope()|;
}

class IntPair {
   Pair(int x) {
   }
}

IntPair x = new IntPair(10, 100)|;

String currentTime = new Set>();

currentTime| = new Set>();

Map map = new HashMap()|;

new HashMap
if seeing more than 3 news headlines
   from distinct sources
   containing 'Hurricane' and 'US'
   within 1 minute:
    flatten positions

If  U_ is 'smc01-control',  then do the following.
Define surface weights Alpha as "[0.5, 0.5]". Initialise matrix Phi 
   as a 'unit matrix'.
Define J as the 'inertia matrix' of Spc01.
Compute matrix J2 as the inverse of J.
Compute position velocity error Ve and angular velocity error Oe 
   from dynamical state X, guidance reference Xnow.
Define the joint sliding surface G2 from the position velocity error 
   Ve and angular velocity error Oe using the surface weights Alpha.
Compute the smoothed sign function SG2 from the joint sliding 
   surface G2 with sign threshold 0.01.
Compute special dynamical force F from dynamical state  X and 
   surface weights Alpha.
Compute control torque T and control force U from matrix J2, surface 
   weights Alpha, special dynamical force F , smoothed sign function SG2.
Finish conditional actions.

op add _ to _  : Num List -> List

add 1 to list

op _ + _ : Num Num -> Num
op _ * _ : Num Num -> Num

op _ + _ : Num Num -> Num [prec 35]
op _ * _ : Num Num -> Num [prec 25]

op _ vs _ Player Player -> Player [comm]

op _ vs _ Player Player -> Player [comm] [prec 33] [gather(e E)]

evaluate I = give the expressible bound to I 
             or 
             enact the abstraction bound to I

There is a bar with a bartender who makes drinks.

class bar:
    the_bartender = bartender()
class bartender:
    def make(drink): pass

The wood-slatted crate is in the Gazebo.
The crate is a container.
Mr Jones wears a top hat.
The crate contains a croquet mallet.

tell application ‘‘ Excel ’’ on machine x
    put 3.14 into cell 1 of row 2 of window 1
end

copy the name of the first window of application ‘‘ Excel ’’
to the end of the first paragraph of app ‘‘ Scriptable Text Editor ’’

To create the background:
    Draw the screen's box with the white color.
    Loop.
    Pick a spot anywhere in the screen's box.
    Pick a color between the lightest gray color and the white color.
    Dab the color on the spot.
    If a counter is past 80000, break.
    If the counter is evenly divisible by 1000, refresh the screen.
    Repeat.
    Extract the background given the screen's box. 
       \or Create the background from the screen.
    Or something.

To finish a work:
    If the work is nil, exit.
    If the work is finished, exit.
    Create a picture given the work's URL.
    If the picture is nil, exit.
    Resize the picture to 5-1/2 inches by 5-1/2 inches.
    Center the picture in the screen's box.
    Draw the background.
    Draw the picture.
    Loop.
    Pick a spot anywhere near the picture's box.
    Mix a color given the spot.
    Dab the color on the spot.
    If a counter is past 20000, break.
    Repeat.
    Extract the work's painting given the picture's box.
    Destroy the picture.

----------------------------------
module quine 
imports lib
strategies
  main =
    !["prefix", "suffix"]
    ; \ [x, y] -> [x, x, y, y] \ 
    ; concat-strings
    ; (stdout, [])
    ;  0
-----------------------------------

prefixprefixsuffixsuffix

------------------------------------------------------------------------------------------
module quine 
imports lib
strategies
  main =
    !["module quine imports lib strategies main = ![", 
      "]; \\ [x, y] -> [x, x, y, y] \\; concat-strings; (stdout, []);  0"]
    ; \ [x, y] -> [x, x, y, y] \ 
    ; concat-strings
    ; (stdout, [])
    ;  0
------------------------------------------------------------------------------------------

------------------------------------------------------------------
module quine imports lib strategies main = ![module quine 
imports lib strategies main = ![]; \ [x, y] -> [x, x, y, y] \; 
concat-strings; (stdout, []);  0]; \ [x, y] -> 
[x, x, y, y] \; concat-strings; (stdout, []);  0
------------------------------------------------------------------

------------------------------------------------------------------------------------------
module quine 
imports lib
strategies
  main =
    !["module quine imports lib strategies main = ![\"", 
      "\"]; \\ [x, y] -> [x, x, y, y] \\; concat-strings; (stdout, []);  0"]
    ; \ [x, y] -> [x, x, "\",\"", y, y] \ 
    ; concat-strings
    ; (stdout, [])
    ;  0
------------------------------------------------------------------------------------------

------------------------------------------------------------------
module quine imports lib strategies main = !["module quine 
imports lib strategies main = !["",""]; \ [x, y] -> [x, x, y, y] \; 
concat-strings; (stdout, []);  0"]; \ [x, y] -> 
[x, x, y, y] \; concat-strings; (stdout, []);  0
------------------------------------------------------------------

------------------------------------------------------------------------------------------
module quine 
imports lib
strategies
  main =
    !["module quine imports lib strategies main = ![\"", 
      "\"]; \\ [x, y] -> [x, x, \"\\\",\\\"\", y, y] \\; concat-strings; (stdout, []);  0"]
    ; \ [x, y] -> [x, x, "\",\"", y, y] \ 
    ; concat-strings
    ; (stdout, [])
    ;  0
------------------------------------------------------------------------------------------

-----------------------------------------------------------------------------
module quine imports lib strategies main = !["module quine imports 
lib strategies main = ![\"","\"]; \\ [x, y] -> [x, x,
 \"\\\",\\\"\", y, y] \\; concat-strings; (stdout
, []);  0"]; \ [x, y] -> [x, x, "\",\"", y, y] \; 
concat-strings; (stdout, []);  0
-----------------------------------------------------------------------------

  String userName = getParam("userName");
  String password = getParam("password");
  String query = "SELECT id FROM users "
                      + "WHERE name = ’" + userName + "’ "
                      + "AND password = ’" + password + "’";
   if (executeQuery(query).size() == 0)
      throw new Exception("bad user/password");

  SQL q = | SELECT id FROM users
                    WHERE name = ${userName} AND password = ${password} |>;
  if (executeQuery(q.toString()).size() == 0) ...

  [Publication]++->*[Author], 
  [AbstractAuthor]^[Author], 
  [AbstractAuthor]*->1[Person], 
  [AbstractAuthor]*->1[Affiliation], 
  [Person]*->*[Publication], 
  [Publication]^[PrintPublication], 
  [PrintPublication]^[Article], 
  [PrintPublication]^[InProceedings], 
  [Publication]^[PublishedVolume], 
  [PublishedVolume]^[Proceedings], 
  [InProceedings]->[Proceedings], 
  [AbstractAuthor]^[Editor], 
  [PublishedVolume]++->*[Editor], 
  [Person]*->*[PublishedVolume], 
  [PublishedVolume]^[Book], 
  [PrintPublication]^[InCollection], 
  [Book]->*[InCollection] .

/**
 * JVM Spec:
 * - A class A is a subclass of a class C if A is a direct 
 *   subclass of C
 */
Subclass(?c, ?a) <-
  DirectSubclass[?a] = ?c.

/**
 * JVM Spec:
 * - A class A is a subclass of a class C if there is a direct
 *   subclass B of C and class A is a subclass of B
 */
Subclass(?c, ?a) <-
  Subclass(?b, ?a),
  DirectSubclass[?b] = ?c.

CheckCast(?s, ?s) <-
  ClassType(?s).

CheckCast(?s, ?t) <-
  Subclass(?t, ?s).

CheckCast(?s, ?t) -
  ClassType(?s),
  Superinterface(?t, ?s).

CheckCast(?s, ?t) <-
  ComponentType[?s] = ?sc,
  ComponentType[?t] = ?tc,
  ReferenceType(?sc),
  ReferenceType(?tc),
  CheckCast(?sc, ?tc).

test Casting to self
  using database tests/hello/Empty.jar
  assert
    CheckCast("java.lang.Integer", "java.lang.Integer")

test Casting to superclasses
  using database tests/hello/Empty.jar
  assert
    CheckCast("java.lang.Integer", "java.lang.Number")
    CheckCast("java.lang.Integer", "java.lang.Object")

test Cast ArrayList to various superinterfaces
  using database tests/hello/Arrays.jar
  assert
    CheckCast("java.util.ArrayList", "java.util.List")
    CheckCast("java.util.ArrayList", "java.util.Collection")
    CheckCast("java.util.ArrayList", "java.io.Serializable")

test Cast class[] to implemented interface[]
  using database tests/hello/Arrays.jar
  assert
    CheckCast("java.util.ArrayList[]", "java.util.List[]")
    CheckCast("java.lang.Integer[]", "java.io.Serializable[]")

test Cast interface[] to superinterface[]
  using database tests/hello/Arrays.jar
  assert
    CheckCast("java.util.List[]", "java.util.Collection[]")

Planet Stratego

Karl Trygve Kalleberg: Hackathon in Delft: Gone!

Karl Trygve Kalleberg: An Eclipse Console for Spoofax

Karl Trygve Kalleberg: Hackathon in Delft: Go!

Karl Trygve Kalleberg: Prototype of a Scannerless, Generalized Left-to-right Rightmost (SGLR) derivation parser for JavaScript

Performance

What is a Scannerless GLR parser anyway?

Implementation Details

Eelco Visser: Static Consistency Checking of Web Applications with WebDSL

Karl Trygve Kalleberg: Great things in the Eclipse JDT

Realtime Compilation

Quick Fixes

Assign to Field

Extract to Separate File

Generate Getters and Setters

Change Visibility to ‘x’.

Add/remove Argument to Match.

Change type of ‘x’ to match expression.

Infer generic arguments

Import Type ‘x’.

Wrapping Up

Karl Trygve Kalleberg: "Parsing is considered a solved problem. Unfortunately, this view is naïve, rooted in the widely..."

Eelco Visser: TOOLS 2010 Portraits

Eelco Visser: Lambdas in Spoofax

Eelco Visser: mobl

Eelco Visser: Pure and Declarative Syntax Definition: Paradise Lost and Regained

Eelco Visser: Building DSLs with Spoofax Language Workbench

Eelco Visser: Strategies for Design & Implementation of Domain-Specific Languages

Eelco Visser: Encapsulating Software Platform Logic by Aspect-Oriented Programming

Eelco Visser: Web Abstractions

Eelco Visser: Code Generation by Model Transformation

Eelco Visser: Domain Analysis & Data Modeling

Eelco Visser: Spoofax 0.5

Eelco Visser: Performing Systematic Literature Reviews with Researchr

Eelco Visser: Model-Driven Software Development: Introduction

Karl Trygve Kalleberg: English as a Programming Language, part I

Background

Natural Language Programming

Maude

Action Semantics

Metafor

Inform 7

AppleScript

The Osmosian Order

Tentative conclusion

Eelco Visser: Talk about the Researchr Digital Library

Eelco Visser: Spoofax: The Language Workbench

Eelco Visser: The Unbearable Fragility of Software Configuration

Eelco Visser: Publication Clouds

Eelco Visser: Coloring Language Aspects

Eelco Visser: WebDSL Applications

Eelco Visser: Building IDEs for Domain-Specific Languages with Spoofax/IMP

Eelco Visser: Composing Domain-Specific Languages

Eelco Visser: An Eclipse Editor for WebDSL

Eelco Visser: Take the red PIL (or choose any other color you like)

Eelco Visser: The Big Scheme of Things: Episode 2 -- Templates

Eelco Visser: Integration of Data Validation and User Interface Concerns in a DSL for Web Applications

Eelco Visser: Quine In Stratego

The basic idea

Quoting the source

Getting the quotes right

Getting the quotes more right

Bootstrapping

Eelco Visser: Abstractions for Mobile Applications (Postdoc Position)

Eelco Visser: The Big Scheme of Things: Episode 1

Eelco Visser: PIL: A Platform Independent Language for Retargetable DSLs

Eelco Visser: Weaving Web Applications with WebDSL

Eelco Visser: Stratego/XT 0.17 Released

Eric Bouwers: Migration to the nine-headed monster

Eelco Visser: Preventing injection attacks with syntax embeddings

Eelco Visser: Stratego/XT Machine for Code Generation 2009

Eelco Visser: Domain-Specific Languages for Composable Editor Plugins

Eelco Visser: Adding Error Recovery to Scannerless Generalized-LR Parsing

Eelco Visser: A Textual DSL for creating Visual Diagrams

Eelco Visser: WebDSL: A Domain-Specific Language for Web Applications

Eelco Visser: Blog Abstraction (Twitter)

Eelco Visser: Creating Domain-Specific Languages with Stratego/XT

Eelco Visser: Example-Driven Research

Eelco Visser: MODELS + GPCE + SLE in Denver

Eelco Visser: Parse Table Composition