kirancodes.me
To Proof Maintenance & Beyond!
Venues / GPCE /

GPCE 2011

22 papers

  1. Application of model based development to flexible code generation · Gary J. Shubert
  2. Comparing complexity of API designs: an exploratory experiment on DSL-based framework integration · Stefan Sobernig, Patrick Gaubatz, Mark Strembeck, Uwe Zdun
  3. Declaratively defining domain-specific language debuggers · Ricky T. Lindeman, Lennart C. L. Kats, Eelco Visser
  4. Feature interactions, products, and composition · Don S. Batory, Peter Höfner, Jongwook Kim
  5. Firepile: run-time compilation for GPUs in scala · Nathaniel Nystrom, Derek White, Kishen Das
  6. Generating database migrations for evolving web applications · Sander Daniël Vermolen, Guido Wachsmuth, Eelco Visser
  7. Generation of geometric programs specified by diagrams · Yulin Li, Gordon S. Novak Jr.
  8. Growing a language environment with editor libraries · Sebastian Erdweg, Lennart C. L. Kats, Tillmann Rendel, Christian Kästner, Klaus Ostermann, Eelco Visser
  9. Helping programmers help users · John Freeman, Jaakko Järvi, Wonseok Kim, Mat Marcus, Sean Parent
  10. Infrastructure for component-based DDS application development · William Otte, Aniruddha S. Gokhale, Douglas C. Schmidt, Johnny Willemsen
  11. Investigating the safe evolution of software product lines · Laís Neves, Leopoldo Teixeira, Demóstenes Sena, Vander Alves, Uirá Kulesza, Paulo Borba
  12. Less is more: unparser-completeness of metalanguages for template engines · B. J. Arnoldus, M. G. J. van den Brand, Alexander Serebrenik
  13. Model-driven engineering and run-time model-usage in service robotics · Andreas Steck, Alex Lotz, Christian Schlegel
  14. Monitoring aspects for the customization of automatically generated code for big-step models · Shahram Esmaeilsabzali, Bernd Fischer, Joanne M. Atlee
  15. Multilingual component programming in racket · Matthias Felleisen
  16. On the impact of feature dependencies when maintaining preprocessor-based software product lines · Márcio Ribeiro, Felipe Queiroz, Paulo Borba, Társis Tolêdo, Claus Brabrand, Sérgio Soares
  17. Pragmatics for formal semantics · Olivier Danvy
  18. Reflection in direct style · Kenichi Asai
  19. Static analysis of aspect interaction and composition in component models · Abdelhakim Hannousse, Rémi Douence, Gilles Ardourel
  20. Tailoring dynamic software product lines · Marko Rosenmüller, Norbert Siegmund, Mario Pukall, Sven Apel
  21. Theorem-based circuit derivation in cryptol · John Launchbury
  22. Towards automatic generation of formal specifications to validate and verify reliable distributed systems: a method exemplified by an industrial case study · Vidar Slåtten, Frank Alexander Kraemer, Peter Herrmann