Axiomatic language is 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, along with the outputs.
Nimrod is a statically typed programming language that tries to give the programmer ultimate power without compromises on runtime efficiency.
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.