Output details
11 - Computer Science and Informatics
University of York
Output title
The Graph Programming Language GP
Type
E - Conference contribution
Name of conference/published proceedings
Algebraic Informatics : Third International Conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009, Proceedings
Volume number
5725
Issue number
-
First page of article
99
ISSN of proceedings
0302-9743
Year of publication
2009
Number of additional authors
0
Additional information
<08>This invited paper surveys GP, a universally powerful graph transformation language with simple syntax and semantics. Due to its simplicity, GP is amenable to formal reasoning on programs. Its structural operational semantics is cited by van den Brand et al (Eindhoven) as an example for how to specify the semantics of domain-specific languages (Proc. LDTA '10, ACM). Some of GP’s control constructs have been adopted in the French project PORGY which aims at the formalization and visualization of complex systems (see Proc. LOPSTR 2011, LNCS 7225, or Computer Graphics Forum 31(3), Wiley, 2012).
Interdisciplinary
-
Cross-referral requested
-
Research group
C - Programming Languages and Systems
Citation count
7
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
