- 14 ~EEmN6, J., KAHN, G., KLAN% P., AND LANG, B. Generation of interactive programming ~environments. In ESPRIT '85: Status Report of Contznuing Work. North-Holland, Amster- ~dam, 1986, 467-477.
- 31 ~VAN DIJK, M. H. H., ann KOORN, J. W. C. GSE, a generic syntax-directed editor. Rep. ~CS-R9045, Centrum voor Wiskunde en lnformatica (CWI), Amsterdam, 1990.
- 28 ~VAN DER MEULEN, E.A. Deriving incremental implementations from algebraic specifica- ~tions. Rep. CS-R9072, Centrum voor Wlskunde en Informatica (CWI), Amsterdam, 1990.
- 29 ~VAN DER MEULEN, E.A. Algebrmc specification of a compiler for a language with pointers. ~Rep. CS-R8848, Centrum voor Wiskunde en Infomatica (CWI), Amsterdam, 1988.
- 2 Robert A. Ballance , Susan L. Graham , Michael L. Van De Vanter, The Pan language-based editing system, ACM Transactions on Software Engineering and Methodology (TOSEM), v.1 n.1, p.95-127, Jan. 1992 [doi>10.1145/125489.122804]
- 7 ~ENDRES, R., AND SCHNEIDER, M. The GRASPIN software engineering environment. In ~ESPRIT '88' Puttzng the Technology to Use. North-Holland, Amsterdam, 1988, 349 364.
- 5 ~DESPEYROUX, T Executable specificahon of static semantics. In Sernantzcs of Data Types, ~vol. 173. Lecture Notes in Computer Science. Springer-Verlag, New York, 1984, 215 233.
- 20 G. Kahn, Natural semantics, 4th Annual Symposium on Theoretical Aspects of Computer Sciences on STACS 87, p.22-39, February 1987, Passau, Germany
- 33 ~WALTERS, H. R. On equal terms, implementing algebraic specificatmns. Ph.D. thesis, ~University of Amsterdam, 1991.
- 11 ~HEERING, J. Een programmeeromgevmg gebaseerd op taaldefinities. In Colloquium Pro- ~grammeeromgev~ngen, vol. 30. Mathematmal Centre Syllabus, 1983, 69 81. In Dutch.
- 6 ~DONZEAU-GOUGE, V., HUET, G., KAHN, G,, AND LANG, B. Programming environments based ~on structured editors the Mentor experience. In Interactzve Programrazng Envzronments. ~McGraw-Hill, New York, 1984, 128-140,
- 22 ~KLINT, P. Lazy scanner generation for modular regular grammars. Tech. Rep. CS-R9158, ~Centrum voor Wiskunde en Informatica (CWI), Amsterdam, 1991.
- 26 ~REKEnS, J. Modular parser generation. Rep. CS-R8933, Centrum voor Wiskunde en Infor- ~matica (CWI), Amsterdmn, 1989.
- 9 Kokichi Futatsugi , Joseph A. Goguen , Jean-Pierre Jouannaud , José Meseguer, Principles of OBJ2, Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.52-66, January 14-16, 1985, New Orleans, Louisiana, United States [doi>10.1145/318593.318610]
- 8 ~ESPRIT (An overwew of Genesis. Project 1222 (GENESIS), 1987. Deliverable 12Y3
- 21 ~KAHN, G., LANG, B., MfiLgSE, B., AND MORCOS, E. Metal: A formalism to specify formalisms. ~Sci. Comput. Program. 3, 2 (1983), 151-188.
- 19 ~HENDRIKS, P. R.H. Lists and associative functions in algebraic specifications--semantics ~and implementation. Rep. CS-R8908, Centrmn voor Wiskunde en Informatica (CWD, Ams- ~terdam, 1989.
- 25 ~LOGGE~, M. H. An integrated text and syntax-directed editor. Rep. CS-R8820, Centrum ~voor Wiskunde en Infbrmatiea (CWI), Amstm'dam, 1988.
- 3 J. A. Bergstra , Jan Heering , Paul Klint, Algebraic specification, ACM Press, New York, NY, 1989
- 18 ~HENDRIKS, P. R. H. Implementation of modular algebraic specifications. Ph.D. thesis, ~University of Amsterdam, 1991.
- 23 ~KOORN, J. W.C. Connecting semantic tools to a syntax-directed user-interface. Tech. Rep., ~Programming Research Group, University of Amsterdam, 1992.
- 4 P. Borras , D. Clement , Th. Despeyroux , J. Incerpi , G. Kahn , B. Lang , V. Pascual, Centaur: the system, Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments, p.14-24, November 28-30, 1988, Boston, Massachusetts, United States [doi>10.1145/64135.65005]
- 12 Jan Heering , Paul Klint, Towards monolingual programming environments, ACM Transactions on Programming Languages and Systems (TOPLAS), v.7 n.2, p.183-213, April 1985 [doi>10.1145/3318.3321]
- 10 A N Habermann , D Notkin, Gandalf: software development environments, IEEE Transactions on Software Engineering, v.12 n.12, p.1117-1127, Dec.1986
- 24 ~KOORN, J. W. C. GSE: A generic text and structure editor. Rep. P9202, Univermty of ~Amsterdam, 1992,
- Adrian Kuhn , Martin Kuhlemann, Object-oriented reengineering: report on the workshop WOOR'07 at ECOOP 2007 10th anniversary edition, Proceedings of the 2007 conference on Object-oriented technology, July 30-31, 2007, Berlin, Germany
- Michelle Mills Strout , John Mellor-Crummey , Paul Hovland, Representation-independent program analysis, ACM SIGSOFT Software Engineering Notes, v.31 n.1, January 2006
- David Benavides , Sergio Segura , Antonio Ruiz-Cortés, Automated analysis of feature models 20 years later: A literature review, Information Systems, v.35 n.6, p.615-636, September, 2010
- M. G. J. van den Brand , H. A. de Jong , P. Klint , A. T. Kooiker, A language development environment for Eclipse, Proceedings of the 2003 OOPSLA workshop on eclipse technology eXchange, p.55-59, October 27-27, 2003, Anaheim, California
- Isabelle Gnaedig , Hélène Kirchner, Computing constructor forms with non terminating rewrite programs, Proceedings of the 8th ACM SIGPLAN symposium on Principles and practice of declarative programming, July 10-12, 2006, Venice, Italy
- F. Tip , T. B. Dinesh, A slicing-based approach for locating type errors, ACM Transactions on Software Engineering and Methodology (TOSEM), v.10 n.1, p.5-55, Jan. 2001
- Peter Sewell , Francesco zappa Nardelli , Scott Owens , Gilles Peskine , Thomas Ridge , Susmit Sarkar , Rok StrniŠa, Ott: Effective tool support for the working semanticist, Journal of Functional Programming, v.20 n.1, p.71-122, January 2010
- Tobias Kuipers , Joost Visser, Object-oriented tree traversal with J. J. Forester, Science of Computer Programming, v.47 n.1, p.59-87, April 2003
- Robert L. Akers , Ira D. Baxter , Michael Mehlich , Brian J. Ellis , Kenn R. Luecke, Case study: Re-engineering C++ component models via automatic program transformation, Information and Software Technology, v.49 n.3, p.275-291, March, 2007
- Olivier Fissore , Isabelle Gnaedig , Hélène Kirchner, System Presentation -- CARIBOO: An induction based proof tool for termination with strategies, Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming, p.62-73, October 06-08, 2002, Pittsburgh, PA, USA
- Niels Veerman, Automated mass maintenance of a software portfolio, Science of Computer Programming, v.62 n.3, p.287-317, 15 October 2006 Serge Demeyer , Yann-Gaël Guéhéneuc , Anne Keller , Christian F. J. Lange , Kim Mens ,
- C. Verhoef, Towards automated modification of legacy assets, Annals of Software Engineering, v.9 n.1-4, p.315-336, 2000
- Peter Sewell , Francesco Zappa Nardelli , Scott Owens , Gilles Peskine , Thomas Ridge , Susmit Sarkar , Rok Strniša, Ott: effective tool support for the working semanticist, ACM SIGPLAN Notices, v.42 n.9, September 2007
- T. B. Dinesh , Frank Tip, A slicing-based approach for locating type errors, Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997, p.7-7, October 15-17, 1997, Santa Barbara, California
- Olivier Fissore , Isabelle Gnaedig , Hélène Kirchner, Simplification and termination of strategies in rule-based languages, Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming, p.124-135, August 27-29, 2003, Uppsala, Sweden
- Thuy Duong Vu, Goto elimination in program algebra, Science of Computer Programming, v.73 n.2-3, p.95-128, October, 2008
- Krzysztof R. Apt , Jacob Brunekreef , Vincent Partington , Andrea Schaerf, Alma-O: an imperative language that supports declarative programming, ACM Transactions on Programming Languages and Systems (TOPLAS), v.20 n.5, p.1014-1066, Sept. 1998
- Olivier Bournez , Guy-Marie Côme , Valérie Conraud , Hélène Kirchner , Liliana Ibănescu, A rule-based approach for automated generation of kinetic chemical mechanisms, Proceedings of the 14th international conference on Rewriting techniques and applications, June 09-11, 2003, Valencia, Spain
- Niels Veerman , Ernst-Jan Verhoeven, Cobol minefield detection, Software—Practice & Experience, v.36 n.14, p.1605-1642, November 2006
- Twan Basten , Roland Bol , Marc Voorhoeve, Simulating and Analyzing Railway Interlockings in ExSpect, IEEE Parallel & Distributed Technology: Systems & Technology, v.3 n.3, p.50-62, September 1995
- Hélène Kirchner , Pierre-Etienne Moreau, Promoting rewriting to a programming language: a compiler for non-deterministic rewrite programs in associative-commutative theories, Journal of Functional Programming, v.11 n.2, p.207-251, March 2001
- Jacob Brunekreef , Bob Diertens, Towards a user-controlled software renovation factory, Science of Computer Programming, v.45 n.2-3, p.175-191, November 2002