Walter Wilson introduces Axiomatic, a minimal pure-specification logic language with meta-language capability based on the idea that the external behavior of a program can be defined by an infinite set of symbolic expressions that enumerate all possible inputs, or sequences of inputs, along with the corresponding outputs. The language is just a formal system for defining these symbolic expressions
Andreas Rumpf introduces Nimrod, a statically typed programming language supporting unhygienic/hygienic and declarative/imperative AST-based macros. The talk focuses on metaprogramming capabilities.
Guillaume Laforge and Paul King show how to leverage Groovy to build a Mars rover controlling DSL, including metaprogramming techniques and integration mechanisms.
Jeff Scott Brown discusses Groovy’s compile time metaprogramming capabilities.
Jeff Scott Brown discusses Groovy’s runtime metaprogramming capabilities and the Meta Object Protocol (MOP).
Clay McCoy discusses using Groovy’s metaprogramming capabilities and AWS SWF to deal with unreliable remote services, parallelization, scheduling critical timers, and server failures.
Matthew Flatt introduces Racket, an extensible programming language useful to create new syntactic forms and construct entirely new programming languages.
Richard Carlsson introduces and demoes a library for using template strings with meta-variables. The library was used at Klarna to implement a DSL for business logic.
Steven Kelly and Risto Pohjonen continue their hands-on session developing apps with MetaEdit+. (see: Moving From Coding To Model-Driven Development: Hands-On with MetaEdit+, Part 1)
Risto Pohjonen and Steven Kelly conduct a hands-on session using MetaEdit+ to create several graphic DSLs.
Howard Lewis Ship explains how to perform meta-programming in Java using annotations, bytecode manipulation and component architecture, as it is done by the Tapestry framework.
Howard Lewis Ship discusses how to add extend class functionality at runtime via meta-programming for Java using Tapestry Plastic.