Abstrakt. GP (för grafprogram) är ett regelbaserat, icke-deterministiskt programmeringsspråk för att lösa grafproblem på en hög abstraktionsnivå, vilket befriar programmerare från att hantera datastrukturer på låg nivå. Kärnan i GP består av fyra konstruktioner: enstegs tillämpning av en uppsättning villkorliga graf-transformation regler, sekventiell sammansättning, förgrening och iteration. Detta dokument ger en översikt över GP-projektet. Vi introducerar språket genom att diskutera en sekvens av små programmering fallstudier, formellt förklara villkorliga regel schemata som är byggstenarna i program, och presentera en semantik för GP i stil med strukturella operativa semantik. Ett speciellt drag i semantiken är hur den använder begreppet ändligt misslyckade program för att definiera kraftfulla grenning och iteration kommandon. Vi beskriver även GP:s prototypimplementering.
GP REF är ett regelbaserat, icke-deterministiskt programmeringsspråk.
The graph programming language GP
{'venue': 'In Proc. Algebraic Informatics (CAI 2009', 'journal': None, 'mag_field_of_study': ['Computer Science']}