14 March 2013

Syringe One of my latest projects was for a seminar on AI-Planning. The result was a tool called Syringe. You can read all about it in the paper or get an overview using the slides. Here is the abstract:

This work analyzes how to generate code from applicative terms, especially in the context of Dependency Injection. Relevant basic concepts are introduced and a threefold correspondence between Dependency Injection style object creation, applicative terms and Hilbert-style proofs is explored. The implementation of Syringe, a tool which can translate ╬╗-expressions to XML fragments for the Spring Framework, is presented together with a demo application to compose GUI components.

Syringe is available on Github.