Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- keynoteApril 2014
Separation of concerns in language definition
MODULARITY '14: Proceedings of the companion publication of the 13th international conference on ModularityPages 1–2https://doi.org/10.1145/2584469.2584662Effectively applying linguistic abstraction to emerging domains of computation requires the ability to rapidly develop software languages. However, a software language is a complex software system in its own right and can take significant effort to ...
- demonstrationApril 2014
Finding bugs in program generators by dynamic analysis of syntactic language constraints
MODULARITY '14: Proceedings of the companion publication of the 13th international conference on ModularityPages 17–20https://doi.org/10.1145/2584469.2584474Program generators and transformations are hard to implement correctly, because the implementation needs to generically describe how to construct programs, for example, using templates or rewrite rules. We apply dynamic analysis to program generators in ...
- research-articleApril 2014
Modular specification and dynamic enforcement of syntactic language constraints when generating code
MODULARITY '14: Proceedings of the 13th international conference on ModularityPages 241–252https://doi.org/10.1145/2577080.2577089A key problem in metaprogramming and specifically in generative programming is to guarantee that generated code is well-formed with respect to the context-free and context-sensitive constraints of the target language. We propose typesmart constructors ...
- posterOctober 2012
The spoofax name binding language
SPLASH '12: Proceedings of the 3rd annual conference on Systems, programming, and applications: software for humanityPages 79–80https://doi.org/10.1145/2384716.2384748In textual software languages, names are used to identify program elements such as variables, methods, and classes. Name analysis algorithms resolve names in order to establish references between definitions and uses of names. In this poster, we present ...
- research-articleOctober 2012
Software development environments on the web: a research agenda
Onward! 2012: Proceedings of the ACM international symposium on New ideas, new paradigms, and reflections on programming and softwarePages 99–116https://doi.org/10.1145/2384592.2384603Software is rapidly moving from the desktop to the Web. The Web provides a generic user interface that allows ubiquitous access, instant collaboration, integration with other online services, and avoids installation and configuration on desktop ...
- research-articleOctober 2011
Integrated language definition testing: enabling test-driven language development
OOPSLA '11: Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applicationsPages 139–154https://doi.org/10.1145/2048066.2048080The reliability of compilers, interpreters, and development environments for programming languages is essential for effective software development and maintenance. They are often tested only as an afterthought. Languages with a smaller scope, such as ...
Also Published in:
ACM SIGPLAN Notices: Volume 46 Issue 10 - research-articleOctober 2011
Declaratively defining domain-specific language debuggers
GPCE '11: Proceedings of the 10th ACM international conference on Generative programming and component engineeringPages 127–136https://doi.org/10.1145/2047862.2047885Tool support is vital to the effectiveness of domain-specific languages. With language workbenches, domain-specific languages and their tool support can be generated from a combined, high-level specification. This paper shows how such a specification ...
Also Published in:
ACM SIGPLAN Notices: Volume 47 Issue 3 - posterOctober 2010
The Spoofax language workbench
OOPSLA '10: Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companionPages 237–238https://doi.org/10.1145/1869542.1869592Spoofax is a language workbench for efficient, agile development of textual domain-specific languages with state-of-the-art IDE support. It provides a comprehensive environment that integrates syntax definition, program transformation, code generation, ...
- research-articleOctober 2010
The spoofax language workbench: rules for declarative specification of languages and IDEs
OOPSLA '10: Proceedings of the ACM international conference on Object oriented programming systems languages and applicationsPages 444–463https://doi.org/10.1145/1869459.1869497Spoofax is a language workbench for efficient, agile development of textual domain-specific languages with state-of-the-art IDE support. Spoofax integrates language processing techniques for parser generation, meta-programming, and IDE development into ...
Also Published in:
ACM SIGPLAN Notices: Volume 45 Issue 10