Matches in SemOpenAlex for { <https://semopenalex.org/work/W4313161785> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W4313161785 endingPage "114628" @default.
- W4313161785 startingPage "114612" @default.
- W4313161785 abstract "The ability to handle evolving graph structures is important both for programming languages and modeling languages. Of various languages that adopt graphs as primary data structures, a graph rewriting language LMNtal provides features of both (concurrent) programming languages and modeling languages, and its implementation unifies ordinary program execution and model checking functionalities. Unlike pointer manipulation in imperative languages, LMNtal allows us to manipulate graph structures in such a way that the well-formedness of graphs is guaranteed by the language itself. However, since the shapes of graphs can be complex and diverse compared to algebraic data structures such as lists and trees, it is a non-obvious important task to formulate types of graphs to verify individual programs. With this motivation, this paper discusses LMNtal ShapeType, a type checking framework that applies the basic idea of Structured Gamma to a concrete graph rewriting language. Types are defined by generative grammars written as LMNtal rules, and type checking of LMNtal programs can accordingly be done by exploiting the model checking features of LMNtal itself. We gave a full implementation of type checking exploiting the features of the LMNtal meta-interpreter and confirmed that it works for practical operations on various graph structures, including single-step and multi-step operations on non-algebraic data structures and data structures with numerical shape constraints." @default.
- W4313161785 created "2023-01-06" @default.
- W4313161785 creator A5004305056 @default.
- W4313161785 creator A5089745488 @default.
- W4313161785 date "2022-01-01" @default.
- W4313161785 modified "2023-10-14" @default.
- W4313161785 title "Engineering Grammar-Based Type Checking for Graph Rewriting Languages" @default.
- W4313161785 cites W1480909796 @default.
- W4313161785 cites W1498244333 @default.
- W4313161785 cites W1508113248 @default.
- W4313161785 cites W1527527487 @default.
- W4313161785 cites W1530533101 @default.
- W4313161785 cites W1551363247 @default.
- W4313161785 cites W1551651413 @default.
- W4313161785 cites W1820275044 @default.
- W4313161785 cites W189098335 @default.
- W4313161785 cites W1993755151 @default.
- W4313161785 cites W2024895705 @default.
- W4313161785 cites W2070991879 @default.
- W4313161785 cites W2088602194 @default.
- W4313161785 cites W2137628566 @default.
- W4313161785 cites W2154421030 @default.
- W4313161785 cites W2157901438 @default.
- W4313161785 cites W2293879310 @default.
- W4313161785 cites W2295923951 @default.
- W4313161785 cites W2534422822 @default.
- W4313161785 cites W2740702074 @default.
- W4313161785 cites W2901518892 @default.
- W4313161785 cites W2912166712 @default.
- W4313161785 cites W2913441074 @default.
- W4313161785 cites W2964726283 @default.
- W4313161785 cites W3173299608 @default.
- W4313161785 cites W3201359580 @default.
- W4313161785 doi "https://doi.org/10.1109/access.2022.3217913" @default.
- W4313161785 hasPublicationYear "2022" @default.
- W4313161785 type Work @default.
- W4313161785 citedByCount "1" @default.
- W4313161785 countsByYear W43131617852023 @default.
- W4313161785 crossrefType "journal-article" @default.
- W4313161785 hasAuthorship W4313161785A5004305056 @default.
- W4313161785 hasAuthorship W4313161785A5089745488 @default.
- W4313161785 hasBestOaLocation W43131617851 @default.
- W4313161785 hasConcept C132525143 @default.
- W4313161785 hasConcept C138958017 @default.
- W4313161785 hasConcept C154690210 @default.
- W4313161785 hasConcept C162319229 @default.
- W4313161785 hasConcept C199360897 @default.
- W4313161785 hasConcept C41008148 @default.
- W4313161785 hasConcept C558772884 @default.
- W4313161785 hasConcept C80444323 @default.
- W4313161785 hasConceptScore W4313161785C132525143 @default.
- W4313161785 hasConceptScore W4313161785C138958017 @default.
- W4313161785 hasConceptScore W4313161785C154690210 @default.
- W4313161785 hasConceptScore W4313161785C162319229 @default.
- W4313161785 hasConceptScore W4313161785C199360897 @default.
- W4313161785 hasConceptScore W4313161785C41008148 @default.
- W4313161785 hasConceptScore W4313161785C558772884 @default.
- W4313161785 hasConceptScore W4313161785C80444323 @default.
- W4313161785 hasFunder F4320322638 @default.
- W4313161785 hasFunder F4320334764 @default.
- W4313161785 hasLocation W43131617851 @default.
- W4313161785 hasLocation W43131617852 @default.
- W4313161785 hasOpenAccess W4313161785 @default.
- W4313161785 hasPrimaryLocation W43131617851 @default.
- W4313161785 hasRelatedWork W2009172267 @default.
- W4313161785 hasRelatedWork W2108161839 @default.
- W4313161785 hasRelatedWork W2150815772 @default.
- W4313161785 hasRelatedWork W2542922519 @default.
- W4313161785 hasRelatedWork W2619273670 @default.
- W4313161785 hasRelatedWork W3005022890 @default.
- W4313161785 hasRelatedWork W4233387348 @default.
- W4313161785 hasRelatedWork W4281720143 @default.
- W4313161785 hasRelatedWork W60870644 @default.
- W4313161785 hasRelatedWork W2140997306 @default.
- W4313161785 hasVolume "10" @default.
- W4313161785 isParatext "false" @default.
- W4313161785 isRetracted "false" @default.
- W4313161785 workType "article" @default.