Robert Ballance, Susan Graham & Michael Van De Vanter (1990):
The Pan Language-based Editing System for Integrated Development.
In: Proceedings of the Fourth ACM SIGSOFT Symposium on Software Development Environments,
SDE 4.
ACM,
New York, NY, USA,
pp. 77–93,
doi:10.1145/99277.99286.
Andreas M. Boehm, Dietmar Seipel, Albert Sickmann & Matthias Wetzka (2007):
Squash: A Tool for Analyzing, Tuning and Refactoring Relational Database Applications.
In: Applications of Declarative Programming and Knowledge Management, 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007, Revised Selected Papers,
pp. 82–98,
doi:10.1007/978-3-642-00675-3_6.
Patrick Borras, Dominique Clement, Thierry Despeyroux, Janet Incerpi, Gilles Kahn, Bernard Lang & Valérie Pascual (1988):
Centaur: The System.
In: Proceedings of the Third ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments,
SDE 3.
ACM,
New York, NY, USA,
pp. 14–24,
doi:10.1145/64135.65005.
Selim Ciraci (2009):
Graph Based Verification of Software Evolution Requirements.
Univ. of Twente,
Enschede,
doi:10.3990/1.9789036529563.
CTIT Ph.D. thesis series no. 09-162.
Selim Ciraci, Pim van den Broek & Mehmet Aksit (2010):
Graph-based Verification of Static Program Constraints.
In: Proceedings of the 2010 ACM Symposium on Applied Computing,
SAC '10.
ACM,
New York, NY, USA,
pp. 2265–2272,
doi:10.1145/1774088.1774561.
Mariano Consens & Alberto Mendelzon (1990):
GraphLog: A Visual Formalism for Real Life Recursion.
In: Proceedings of the Ninth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems,
PODS '90.
ACM,
New York, NY, USA,
pp. 404–416,
doi:10.1145/298514.298591.
Mariano Consens & Alberto Mendelzon (1993):
Low Complexity Aggregation in GraphLog and Datalog.
In: Theoretical Computer Science 116,
pp. 95–116,
doi:10.1016/0304-3975(93)90221-E.
Mariano Consens, Alberto Mendelzon & Arthur Ryman (1992):
Visualizing and querying software structures.
In: International Conference on Software Engineering.
IEEE,
Melbourne, Australia,
pp. 138–156,
doi:10.1109/ICSE.1992.753496.
Martin Fowler (2010):
Domain Specific Languages,
1st edition.
Addison-Wesley Professional.
Günter Kniesel, Jan Hannemann & Tobias Rho (2007):
A Comparison of Logic-based Infrastructures for Concern Detection and Extraction.
In: Proceedings of the 3rd Workshop on Linking Aspect Technology and Evolution,
LATE '07.
ACM,
New York, NY, USA,
doi:10.1145/1275672.1275678.
Mouaaz Nahas (2009):
Bridging the gap between scheduling algorithms and scheduler implementations in time-triggered embedded systems.
University of Leicester.
Dietmar Seipel, Rüdiger von der Weth, Salvador Abreu, Falco Nogatz & Alexander Werner (2016):
Declarative Rules for Annotated Expert Knowledge in Change Management.
In: Proceedings of the 5th Symposium on Languages, Applications, Technologies,
SLATE 2016.
OASICS, Dagstuhl Publishing,
pp. 81–96,
doi:10.4230/OASIcs.SLATE.2016.7.
Vera Wahler, Dietmar Seipel, Jurgen Wolff v. Gudenberg & Gregor Fischer (2004):
Clone Detection in Source Code by Frequent Itemset Techniques.
In: Proceedings of the Source Code Analysis and Manipulation, Fourth IEEE International Workshop,
SCAM '04.
IEEE Computer Society,
Washington, DC, USA,
pp. 128–135,
doi:10.1109/SCAM.2004.5.
Available at https://dl.acm.org/citation.cfm?id=1022152&CFID=868270883&CFTOKEN=45278669.
Jan Wielemaker (2003):
An overview of the SWI-Prolog Programming Environment.
In: Fred Mesnard & Alexander Serebenik: Proceedings of the 13th International Workshop on Logic Programming Environments.
Katholieke Universiteit Leuven,
Heverlee, Belgium,
pp. 1–16.
Available at http://www.swi-prolog.org/download/publications/wlpe-03.pdf.
CW 371.
eptcs@eptcs.org