Martin Grabmüller: Dynamic Compilation for Functional Programs,
Dissertation (English), Technische
Universität Berlin, 2009.
[ PDF | more information ]
Stephan Frank, Martin Grabmüller, Petra Hofstedt, Dirk Kleeblatt, Pierre R. Mai, Peter Pepper, Stefan-Alexander Schneider. Safety of Compilers and Translation Techniques -- Status quo of Technology and Science. Automotive - Safety & Security: Sicherheit und Zuverlässigkeit für automobile Informationstechnik. 2008.
[ PDF ]
Martin Grabmüller: A Model of Functional Programming With Dynamic Compilation and Optimization, in Henrik Nilsson, editor: Trends in Functional Programming, Volume 7, Intellect, 2007.
Martin Grabmüller, Petra Hofstedt:
Turtle: A Constraint Imperative Programming Language, Twenty-third SGAI International
Conference on Innovative Techniques and Applications of Artificial
Intelligence, Cambridge, UK, number XX in Research and
Development in Intelligent Systems, British Computer Society and Springer-Verlag, December 2003.
[ PDF ]
Martin Grabmüller: Implementing Constraint Imperative
Programming Languages with Higher-order Functions, Second International
Workshop on Multiparadigm Constraint Programming Languages,
MultiCPL'03 in conjunction with the Ninth International Conference on
Principles and Practice of Constraint Programming, CP2003,
Kinsale, Ireland, September 2003.
[ PDF ]
Martin Grabmüller: Constraint Imperative Programming,
Diploma thesis, Technische
Universität Berlin, February 2003.
[ PDF ]