onierstrasz/Talk-2012-Dagstuhl-CompositionalProgrammingTutorial

Stars
1
Language
TeX
License
Other
Created about 7 years ago
Updated about 7 years ago

onierstrasz/Talk-2012-Dagstuhl-CompositionalProgrammingTutorial

onierstrasz

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

course-compiler-construction

Compiler Construction MSc course lecture material

rascal-m3-to-mse

Experimental translation from M3 models to FAMIX MSE.

PetitPetri

IMAD

experiments using Gt and Mondrian to build executable domain models

gitrebuild

course-intro-cs

exportWunderlist

Extracts the contents of a JSON backup of your Wunderlist lists and displays them in a readable form.

gt-demos

gt-talks

A repo for GT slideshows

rascal-islands

course-concurrent-programming

Talk-2017-Simula50-GreatMoments

Keynotes slides of invited talk at the 50th anniversary celebration in Oslo of the Simula language

lepiter-pages

Experimental export of lepiter db to GH pages

MyGtTestRepo

Testing GitHub setup

GtKatas

A space for playing with coding Katas in Pharo and Gt

lecture-pegs

gt-comment-analysis

Experiments to analyze the state of class comments in Pharo and GT.

Talk-2016-SATToSE-TamingYourPhD

course-intro-se

course-software-modeling-and-analysis

AOC2023

p2-SnakesAndLadders

Toy project for P2 -- introduction to OO Programming course

callGraph

course-programming-languages

Programming Languages MSc course lecture material

gt-startup

Stuff to load on startup

FAQ

A random collection of FAQs for various topics.

M3ForMooseTestCase

Foobar Java examples for testing M3 to Moose model transformation.

family-tree

Reunion files for Nierstrasz-Margiotta family tree

Recipes

A collection of random recipes from various sources.

sma-examples

Demo examples for the Software Modeling and Analysis course

course-p2-oo-design

p2-shapes

Toy example for testing Moose M3 model parser

iThoughts

iThoughts mindmaps