Matthias Blume
- Research Area(s)
- Software Systems
Google Publications
-
An Equivalence-Preserving CPS Translation via Multi-Language Semantics
Amal Ahmed, Matthias Blume
Proceedings of the 16th ACM SIGPLAN International Conference on Functional Programming (ICFP 2011) (to appear)
-
Functional and Logic Programming
Matthias Blume, Naoki Kobayashi, Germán Vidal
Springer, LNCS (2010)
Previous Publications
-
An experimental analysis of self-adjusting computation
Umut A. Acar, Guy E. Blelloch, Matthias Blume, Robert Harper, Kanat Tangwongsan
ACM Transactions on Programming Languages and Systems (TOPLAS), vol. 32 (2009)
-
Language support for feature-oriented product line engineering
Wonseok Chae, Matthias Blume
Proceedings of the First International Workshop on Feature-Oriented Software Development, ACM, New York, NY, USA (2009), pp. 3-10
