Domain-Specific Program Checking

Lukas Renggli, Stéphane Ducasse, Tudor Gîrba, Oscar Nierstrasz. Domain-Specific Program Checking. In Proceedings of the 48th International Conference on Objects, Models, Components and Patterns (TOOLS'10). Volume 6141 of LNCS, Springer-Verlag, 2010. [doi]


  • DGN07. Marcus Denker, Orla Greevy, and Oscar Nierstrasz. Supporting feature analysis with runtime annotations. In Proceedings of the 3rd International Workshop on Program Comprehension through Dynamic Analysis (PCODA 2007), pages 29{33. Technische Universiteit Delft, 2007.
  • KV08. Adrian Kuhn and Toon Verwaest. FAME, a polyglot library for meta- modeling at runtime. In Workshop on Models at Runtime, pages 57{66, 2008.
  • HP04. David Hovemeyer and William Pugh. Finding bugs is easy. ACM SIGPLAN Notices, 39(12):92{106, 2004.
  • PMW09. Frederic Pluquet, Antoine Marot, and Roel Wuyts. Fast type reconstruction for dynamically typed programming languages. In DLS '09: Proceedings of the 5th symposium on Dynamic languages, pages 69{78, New York, NY, USA, 2009. ACM.
  • HP00. Klaus Havelund and Thomas Pressburger. Model checking Java programs using Java PathFinder. International Journal on Software Tools for Tech- nology Transfer (STTT), 2(4):366{381, 2000.
  • BFJR98. John Brant, Brian Foote, Ralph Johnson, and Don Roberts. Wrappers to the rescue. In Proceedings European Conference on Object Oriented Programming (ECOOP'98), volume 1445 of LNCS, pages 396{417. Springer- Verlag, 1998.
  • Joh78. S.C. Johnson. Lint, a C program checker. In UNIX programmer's manual, pages 78{1273. AT&T Bell Laboratories, 1978.
  • DK97. Arie van Deursen and Paul Klint. Little languages: Little maintenance? In S. Kamin, editor, First ACM-SIGPLAN Workshop on Domain-Speci c Languages; DSL'97, pages 109{127, January 1997.
  • DLR07. Stephane Ducasse, Adrian Lienhard, and Lukas Renggli. Seaside: A ex- ible environment for building dynamic web applications. IEEE Software, 24(5):56{63, 2007.
  • Fow99. Martin Fowler. Refactoring: improving the design of existing code. Addison- Wesley Professional, 1999.
  • RGN10. Lukas Renggli, Tudor G^rba, and Oscar Nierstrasz. Embedding languages without breaking tools. In ECOOP 2010: Proceedings of the 24th European Conference on Object-Oriented Programming, Maribor, Slovenia, LNCS. Springer-Verlag, 2010. To appear.
  • ACN02. Jonathan Aldrich, Craig Chambers, and David Notkin. Architectural reasoning in ArchJava. In Proceedings ECOOP 2002, volume 2374 of LNCS, pages 334{367, Malaga, Spain, June 2002. Springer Verlag.
  • ANMM06. Chris Andreae, James Noble, Shane Markstrum, and Todd Millstein. A framework for implementing pluggable type systems. In OOPSLA '06: Pro- ceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications, pages 57{74, New York, NY, USA, 2006. ACM Press.
  • MKPW06. Kim Mens, Andy Kellens, Frederic Pluquet, and Roel Wuyts. Co-evolving code and design with intensional views | a case study. Journal of Computer Languages, Systems and Structures, 32(2):140{156, 2006.
  • RDK07. Lukas Renggli, Stephane Ducasse, and Adrian Kuhn. Magritte | a meta- driven approach to empower developers and end users. In Gregor Engels, Bill Opdyke, Douglas C. Schmidt, and Frank Weil, editors, Model Driven Engineering Languages and Systems, volume 4735 of LNCS, pages 106{120. Springer, September 2007.
  • Fow08. Martin Fowler. Domain speci c languages, June 2008., Work in progress.
  • Lie89. Karl J. Lieberherr. Formulations and bene ts of the Law of Demeter. ACM SIGPLAN Notices, 24(3):67{78, 1989.
  • KS03. Rainer Koschke and Daniel Simon. Hierarchical re exion models. In Proceedings of the 10th Working Conference on Reverse Engineering (WCRE 2003), page 36. IEEE Computer Society, 2003.
  • MNS95. Gail Murphy, David Notkin, and Kevin Sullivan. Software re exion models: Bridging the gap between source and high-level models. In Proceedings of SIGSOFT '95, Third ACM SIGSOFT Symposium on the Foundations of Software Engineering, pages 18{28. ACM Press, 1995.
  • ISSRE 2004. 15th International Symposium on, pages 245{256, 2004. RBJ97. Don Roberts, John Brant, and Ralph E. Johnson. A refactoring tool for Smalltalk. Theory and Practice of Object Systems (TAPOS), 3(4):253{263, 1997.
  • RAF04. Nick Rutar, Christian B. Almazan, and Je rey S. Foster. A comparison of bug nding tools for Java. In Software Reliability Engineering, 2004.

Cited by

No citations of this publication recorded.