{"id":"https://openalex.org/W2188226105","doi":null,"title":"Graph Transformation and Pointer Structures","display_name":"Graph Transformation and Pointer Structures","publication_year":2008,"publication_date":"2008-01-01","ids":{"openalex":"https://openalex.org/W2188226105","mag":"2188226105"},"language":"en","primary_location":{"id":"pmh:hdl:10068/954724","doi":null,"is_oa":true,"landing_page_url":"http://hdl.handle.net/10068/954724","pdf_url":null,"source":{"id":"https://openalex.org/S4377196900","display_name":"OpenGrey (Institut de l'Information Scientifique et Technique)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I1295345811","host_organization_name":"Institut de l'Information Scientifique et Technique","host_organization_lineage":["https://openalex.org/I1295345811"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"U - Thesis"},"volume":null,"type":"dissertation","is_traditional":true,"indexed_in":[],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://hdl.handle.net/10068/954724","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5085860278","display_name":"Mike Dodds","orcid":"https://orcid.org/0000-0002-4439-0130","observed_orcids":["https://orcid.org/0000-0002-4439-0130"]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Mike Dodds","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0002-4439-0130","affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5085860278"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9945999979972839,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9945999979972839,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.0034000000450760126,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.000699999975040555,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/graph-transformation","display_name":"graph transformation","score":0.9509999752044678},{"id":"https://openalex.org/keywords/pointer-structures","display_name":"pointer structures","score":0.9359999895095825},{"id":"https://openalex.org/keywords/graph-languages","display_name":"graph languages","score":0.3790000081062317},{"id":"https://openalex.org/keywords/linear-time-recognition","display_name":"linear-time recognition","score":0.7540000081062317},{"id":"https://openalex.org/keywords/hyperedge-replacement-grammars","display_name":"hyperedge replacement grammars","score":0.906000018119812},{"id":"https://openalex.org/keywords/separation-logic","display_name":"separation logic","score":0.9940000176429749},{"id":"https://openalex.org/keywords/pointer-safety","display_name":"pointer safety","score":0.7229999899864197},{"id":"https://openalex.org/keywords/graph-transformation-rules","display_name":"graph transformation rules","score":0.4390000104904175},{"id":"https://openalex.org/keywords/executable-semantics","display_name":"executable semantics","score":0.3840000033378601}],"concepts":[{"id":"https://openalex.org/C558772884","wikidata":"https://www.wikidata.org/wiki/Q1508564","display_name":"Graph rewriting","level":3,"score":0.778773844242096},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.685076892375946},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5434309840202332},{"id":"https://openalex.org/C7263679","wikidata":"https://www.wikidata.org/wiki/Q5978076","display_name":"Pointer analysis","level":3,"score":0.5313233733177185},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.527944028377533},{"id":"https://openalex.org/C150202949","wikidata":"https://www.wikidata.org/wiki/Q107602","display_name":"Pointer (user interface)","level":2,"score":0.5090441107749939},{"id":"https://openalex.org/C173856430","wikidata":"https://www.wikidata.org/wiki/Q3257964","display_name":"Separation logic","level":2,"score":0.49530497193336487},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.44026973843574524},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3227185606956482},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.18746468424797058},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1487513780593872}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:hdl:10068/954724","doi":null,"is_oa":true,"landing_page_url":"http://hdl.handle.net/10068/954724","pdf_url":null,"source":{"id":"https://openalex.org/S4377196900","display_name":"OpenGrey (Institut de l'Information Scientifique et Technique)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I1295345811","host_organization_name":"Institut de l'Information Scientifique et Technique","host_organization_lineage":["https://openalex.org/I1295345811"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"U - Thesis"},{"id":"mag:2188226105","doi":null,"is_oa":false,"landing_page_url":"http://www.cs.york.ac.uk/~miked/publications/phdthesis.draft.pdf","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":{"id":"pmh:hdl:10068/954724","doi":null,"is_oa":true,"landing_page_url":"http://hdl.handle.net/10068/954724","pdf_url":null,"source":{"id":"https://openalex.org/S4377196900","display_name":"OpenGrey (Institut de l'Information Scientifique et Technique)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I1295345811","host_organization_name":"Institut de l'Information Scientifique et Technique","host_organization_lineage":["https://openalex.org/I1295345811"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"U - Thesis"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":71,"referenced_works":["https://openalex.org/W8360613","https://openalex.org/W10589072","https://openalex.org/W45829939","https://openalex.org/W76713427","https://openalex.org/W127565347","https://openalex.org/W189569203","https://openalex.org/W1447436028","https://openalex.org/W1480319318","https://openalex.org/W1480370622","https://openalex.org/W1482905321","https://openalex.org/W1483113404","https://openalex.org/W1483359125","https://openalex.org/W1491614438","https://openalex.org/W1501427638","https://openalex.org/W1508482211","https://openalex.org/W1508811155","https://openalex.org/W1512297458","https://openalex.org/W1512428151","https://openalex.org/W1516610660","https://openalex.org/W1520962304","https://openalex.org/W1530533101","https://openalex.org/W1536926674","https://openalex.org/W1556943731","https://openalex.org/W1557880268","https://openalex.org/W1563892973","https://openalex.org/W1569827055","https://openalex.org/W1572593217","https://openalex.org/W1573790708","https://openalex.org/W1577544661","https://openalex.org/W1578881602","https://openalex.org/W1597906851","https://openalex.org/W1680268247","https://openalex.org/W1739013558","https://openalex.org/W1817911837","https://openalex.org/W1818561783","https://openalex.org/W1820275044","https://openalex.org/W1887332367","https://openalex.org/W1973347908","https://openalex.org/W1974265510","https://openalex.org/W1974321100","https://openalex.org/W1975076763","https://openalex.org/W1982754912","https://openalex.org/W1988441831","https://openalex.org/W1994011879","https://openalex.org/W2006007614","https://openalex.org/W2011039300","https://openalex.org/W2018876684","https://openalex.org/W2046213250","https://openalex.org/W2074683366","https://openalex.org/W2100502921","https://openalex.org/W2108383522","https://openalex.org/W2116502002","https://openalex.org/W2129638526","https://openalex.org/W2130162474","https://openalex.org/W2131966463","https://openalex.org/W2134226127","https://openalex.org/W2134949633","https://openalex.org/W2137628566","https://openalex.org/W2152686702","https://openalex.org/W2164661513","https://openalex.org/W2168056516","https://openalex.org/W2293879310","https://openalex.org/W2464500333","https://openalex.org/W2473520598","https://openalex.org/W2492488595","https://openalex.org/W2798588639","https://openalex.org/W2891212941","https://openalex.org/W2912166712","https://openalex.org/W2913441074","https://openalex.org/W2986773320","https://openalex.org/W3198160809"],"related_works":["https://openalex.org/W7096259684","https://openalex.org/W1994011879","https://openalex.org/W2774759813","https://openalex.org/W2573579185","https://openalex.org/W1540834847","https://openalex.org/W7100505584","https://openalex.org/W7097403241","https://openalex.org/W7096535495","https://openalex.org/W2991500842","https://openalex.org/W2492488595"],"abstract_inverted_index":{"This":[0,181,226],"thesis":[1],"is":[2],"concerned":[3],"with":[4],"the":[5,25,53,90,105,129,187,273],"use":[6],"of":[7,27,55,81,93,95,107,155,165,178,190,202],"graph-transformation":[8,259],"rules":[9,43,62,221],"to":[10,33,104,144,222],"specify":[11],"and":[12,30,83,114,138,169,234,261,270],"manipulate":[13],"pointer":[14,35,132,224,236],"structures.":[15,237],"In":[16],"it,":[17],"we":[18,84],"show":[19,39,85,115,149,198],"that":[20,40,116,150,173,183,199,217,272],"graph":[21,41,60,101,109,136,219,229,251],"transformation":[22,42,61,102,137,220,230,252],"can":[23,44,121,158,240],"form":[24],"basis":[26],"a":[28,153,162,214,262],"practical":[29,64],"well-formalised":[31],"approach":[32,143],"specifying":[34,66],"properties.":[36],"We":[37,57,74,97,127,148,197,212,254],"also":[38],"be":[45,122,159,207,241],"used":[46],"as":[47,194,250],"an":[48,141,257],"efficient":[49],"mechanism":[50],"for":[51,65,232,244,266],"checking":[52],"properties":[54,189],"graphs.":[56],"make":[58],"context-sensitive":[59],"more":[63],"structures,":[67],"by":[68,247],"improving":[69],"their":[70],"worst-case":[71],"application":[72,80,91],"time.":[73],"define":[75,213],"syntactic":[76],"conditions":[77,88],"ensuring":[78],"faster":[79],"rules,":[82],"how":[86],"these":[87,99,174],"improve":[89],"time":[92],"sequences":[94],"rules.":[96,253],"apply":[98],"fast":[100],"systems":[103],"problem":[106],"recognising":[108],"languages":[110,120],"in":[111,152],"linear":[112],"time,":[113],"several":[117,200],"interesting":[118],"contextsensitive":[119],"recognised":[123],"using":[124,134,209],"this":[125],"approach.":[126],"examine":[128],"relationship":[130],"between":[131],"specification":[133],"contextfree":[135],"separation":[139,156,204],"logic,":[140],"alternative":[142],"reasoning":[145],"about":[146],"pointers.":[147],"formulas":[151],"fragment":[154,185],"logic":[157,205],"translated":[160],"into":[161],"restricted":[163],"class":[164],"hyperedge":[166,210],"replacement":[167],"grammars,":[168,192],"vice":[170],"versa,":[171],"showing":[172],"two":[175],"approaches":[176],"are":[177],"equivalent":[179],"power.":[180],"means":[182],"our":[184,267],"inherits":[186],"formal":[188],"hyperedge-replacement":[191],"such":[193],"inexpressibility":[195],"results.":[196],"operators":[201],"full":[203],"cannot":[206],"expressed":[208],"replacement.":[211],"C-like":[215],"language":[216,227],"uses":[218],"ensure":[223],"safety.":[225],"includes":[228],"constructs":[231,239],"defining":[233],"rewriting":[235],"These":[238],"statically":[242],"checked":[243],"shape":[245],"safety":[246],"modelling":[248],"them":[249],"give":[255],"both":[256],"abstract":[258],"semantics":[260,265,274],"concrete":[263],"executable":[264],"new":[268],"constructs,":[269],"prove":[271],"correspond.":[275]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2019,"cited_by_count":2},{"year":2014,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-11-04T10:54:05.112534","created_date":"2016-06-24T00:00:00"}