Generative Programming for Embedded Systems

Research output

Research output per year 2005 2006 2007 2008

• 10 Conference contribution
• 2 Paper
• 1 Book

Research output per year

Research output per year

Search results

• 2006

  A verified staged interpreter is a verified compiler: multi-stage programming with dependent types.  Generative Programming and Component Engineering, 5th International Conference (GPCE 2006)

  Hammond, K., Brady, E., Jarzabek, S., Schmidt, D. C. & Veldhuizen, T. L., Oct 2006, p. 111 - 120.

  Research output: Contribution to conference › Paper

• Ivor, a Proof Engine

  Brady, E., 2006, p. 145-162.

  Research output: Contribution to conference › Paper