Robert Ballance
Susan Graham
Michael Van De Vanter
1990
The Pan Language-based Editing System for Integrated Development
Proceedings of the Fourth ACM SIGSOFT Symposium on Software Development Environments
SDE 4
ACM
New York, NY, USA
77–93
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
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
82–98
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
Proceedings of the Third ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments
SDE 3
ACM
New York, NY, USA
14–24
10.1145/64135.65005
Selim Ciraci
2009
Graph Based Verification of Software Evolution Requirements
Univ. of Twente
Enschede
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
Proceedings of the 2010 ACM Symposium on Applied Computing
SAC '10
ACM
New York, NY, USA
2265–2272
10.1145/1774088.1774561
Mariano Consens
Alberto Mendelzon
1990
GraphLog: A Visual Formalism for Real Life Recursion
Proceedings of the Ninth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems
PODS '90
ACM
New York, NY, USA
404–416
10.1145/298514.298591
Mariano Consens
Alberto Mendelzon
1993
Low Complexity Aggregation in GraphLog and Datalog
Theoretical Computer Science 116
95–116
10.1016/0304-3975(93)90221-E
Mariano Consens
Alberto Mendelzon
Arthur Ryman
1992
Visualizing and querying software structures
International Conference on Software Engineering
IEEE
Melbourne, Australia
138–156
10.1109/ICSE.1992.753496
Roger Crew
1997
ASTLOG: A Language for Examining Abstract Syntax Trees
DSL
USENIX
http://www.cs.nyu.edu/~lharris/papers/crew.pdf
Martin Fowler
2010
Domain Specific Languages
1st
Addison-Wesley Professional
Günter Kniesel
Jan Hannemann
Tobias Rho
2007
A Comparison of Logic-based Infrastructures for Concern Detection and Extraction
Proceedings of the 3rd Workshop on Linking Aspect Technology and Evolution
LATE '07
ACM
New York, NY, USA
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
Proceedings of the 5th Symposium on Languages, Applications, Technologies
SLATE 2016
OASICS, Dagstuhl Publishing
81–96
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
Proceedings of the Source Code Analysis and Manipulation, Fourth IEEE International Workshop
SCAM '04
IEEE Computer Society
Washington, DC, USA
128–135
10.1109/SCAM.2004.5
https://dl.acm.org/citation.cfm?id=1022152&CFID=868270883&CFTOKEN=45278669
Jan Wielemaker
2003
An overview of the SWI-Prolog Programming Environment
Fred Mesnard
Alexander Serebenik
Proceedings of the 13th International Workshop on Logic Programming Environments
Katholieke Universiteit Leuven
Heverlee, Belgium
1–16
http://www.swi-prolog.org/download/publications/wlpe-03.pdf
CW 371