BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Brazil
1 × The Netherlands
2 × Italy
2 × Spain
2 × USA
2 × United Kingdom
6 × Germany
Collaborated with:
A.Habel C.M.Poskitt G.Manning B.Hoffmann C.Runciman M.Dodds S.Steinert ∅ R.Suri A.Singh A.Bakewell J.B.Wells F.Kamareddine F.Drewes J.Müller C.Bak G.Faulkner G.Täntzer E.Biermann D.Bisztray B.Bohnet I.Boneva A.Boronat L.Geiger R.Geiß Á.Horváth O.Kniemeyer T.Mens B.Ness T.Vajk
Talks about:
graph (15) program (8) transform (6) system (3) languag (2) verifi (2) rewrit (2) match (2) term (2) sierpinski (1)

Person: Detlef Plump

DBLP DBLP: Plump:Detlef

Facilitated 1 volumes:

GCM 2015Ed

Contributed to:

GaM 20152015
ICGT 20142014
GCM 20122013
ICGT 20122012
GCM 20102011
ICGT 20102010
GT-VMT 20082008
AGTIVE 20072007
GT-VMT 20062008
ICGT 20062006
ICGT 20042004
AGTIVE 20032003
RTA 20032003
ICGT 20022002
FoSSaCS 20012001
FoSSaCS 20002000
TAGT 19981998
TAGT 19941994
GG 19901990
ALP 19881988

Wrote 20 papers:

GaM-2015-BakFPR #graph #interpreter #programming language
A Reference Interpreter for the Graph Programming Language GP 2 (CB, GF, DP, CR), pp. 48–64.
ICGT-2014-PoskittP #graph #higher-order #monad #source code #verification
Verifying Monadic Second-Order Properties of Graph Programs (CMP, DP), pp. 33–48.
GCM-J-2012-PoskittP #correctness #graph #source code #verification
Verifying Total Correctness of Graph Programs (CMP, DP).
ICGT-2012-HabelP
M,N-Adhesive Transformation Systems (AH, DP), pp. 218–233.
GCM-2010-PlumpSS11 #automaton #finite #graph #source code
Minimizing Finite Automata with Graph Programs (DP, RS, AS).
ICGT-2010-PoskittP #calculus #graph #hoare #source code
A Hoare Calculus for Graph Programs (CMP, DP), pp. 139–154.
GT-VMT-2008-ManningP #programming
The GP Programming System (GM, DP).
AGTIVE-2007-TaentzerBBBBBGGHKMNPV #case study #generative #graph transformation #tool support
Generation of Sierpinski Triangles: A Case Study for Graph Transformation Tools (GT, EB, DB, BB, IB, AB, LG, RG, ÁH, OK, TM, BN, DP, TV), pp. 514–539.
GT-VMT-2006-ManningP08 #automaton
The York Abstract Machine (GM, DP), pp. 231–240.
ICGT-2006-DoddsP #constant #graph transformation
Graph Transformation in Constant Time (MD, DP), pp. 367–382.
ICGT-2004-PlumpS #algorithm #graph #source code #towards
Towards Graph Programs for Graph Algorithms (DP, SS), pp. 128–143.
AGTIVE-2003-BakewellPR #graph #pointer #reduction #specification
Specifying Pointer Structures by Graph Reduction (AB, DP, CR), pp. 30–44.
RTA-2003-WellsPK #diagrams
Diagrams for Meaning Preservation (JBW, DP, FK), pp. 88–106.
ICGT-2002-HabelP #graph transformation
Relabelling in Graph Transformation (AH, DP), pp. 135–147.
FoSSaCS-2001-HabelP #graph transformation #programming language
Computational Completeness of Programming Languages Based on Graph Transformation (AH, DP), pp. 230–245.
FoSSaCS-2000-DrewesHP #graph transformation
Hierarchical Graph Transformation (FD, BH, DP), pp. 98–113.
TAGT-1998-HabelMP #approach #injection
Double-Pushout Approach with Injective Matching (AH, JM, DP), pp. 103–116.
TAGT-1994-PlumpH #graph #unification
Graph Unification and Matching (DP, AH), pp. 75–88.
GG-1990-Plump #term rewriting
Graph-Reducible Term Rewriting Systems (DP), pp. 622–636.
ALP-1988-HoffmannP #evaluation #performance #term rewriting
Jungle Evaluation for Efficient Term Rewriting (BH, DP), pp. 191–203.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.