Dynamically typed programming languages are powerful tools for rapid software development. However, there are scenarios that would benefit from actual type information being avai...
Michael Haupt, Michael Perscheid, Robert Hirschfel...
MetaML is a statically typed functional programming language with special support for program generation. In addition to providing the standard features of contemporary programming...
Creating a software product line from a legacy application is a difficult task. We propose a tool that helps automating tedious tasks of refactoring legacy applications into featu...
Abstract. This paper describes the C Intermediate Language: a highlevel representation along with a set of tools that permit easy analysis and source-to-source transformation of C ...
George C. Necula, Scott McPeak, Shree Prakash Rahu...
ions is lower than the programmer‘s perceived cost of writing them from scratch. << [G. Booch, 1994] Central Question: How can we decrease the effort of building framework-...