M
Martin Bravenboer
Researcher at Delft University of Technology
Publications - 31
Citations - 2311
Martin Bravenboer is an academic researcher from Delft University of Technology. The author has contributed to research in topics: Program transformation & Syntax (programming languages). The author has an hindex of 21, co-authored 31 publications receiving 2173 citations. Previous affiliations of Martin Bravenboer include Utrecht University & University of Massachusetts Amherst.
Papers
More filters
Journal ArticleDOI
Stratego/XT 0.17. A language and toolset for program transformation
TL;DR: An overview ofStratego/XT 0.17 is given, including a description of the Stratego language and XT transformation tools; a discussion of the implementation techniques and software engineering process; and a descriptionof applications built with Strate go/XT.
Stratego/XT 0.17. A Language and Toolset for Program Transformation
TL;DR: The Stratego/XT toolset as discussed by the authors is a language and toolset for program transformation that provides rewrite rules for expressing basic transformations, programmable rewriting strategies for controlling the application of rules, concrete syntax for expressing the patterns of rules in the syntax of the object language, and dynamic rewrite rules to express context-sensitive transformations.
Journal ArticleDOI
Strictly declarative specification of sophisticated points-to analyses
TL;DR: The DOOP framework for points-to analysis of Java programs is presented, carrying the declarative approach further than past work by describing the full end-to-end analysis in Datalog and optimizing aggressively using a novel technique specifically targeting highly recursive Datalogy programs.
Journal ArticleDOI
Pick your contexts well: understanding object-sensitivity
TL;DR: The results expose the influence of context choice on the quality of points-to analysis and demonstrate type-sensitivity to be an idea with major impact that decisively advances the state-of-the-art with a spectrum of analyses that simultaneously enjoy speed, scalability, and precision.
Proceedings ArticleDOI
Concrete syntax for objects: domain-specific language embedding and assimilation without restrictions
Martin Bravenboer,Eelco Visser +1 more
TL;DR: MetaBorg is described, a method for providing concrete syntax for domain abstractions to application programmers by embedding domain-specific languages in a general purpose host language and assimilating the embedded domain code into the surrounding host code.