Matches in SemOpenAlex for { <https://semopenalex.org/work/W4320717526> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W4320717526 endingPage "130" @default.
- W4320717526 startingPage "112" @default.
- W4320717526 abstract "Graphs are a generalized concept that encompasses more complex data structures than trees, such as difference lists, doubly-linked lists, skip lists, and leaf-linked trees. Normally, these structures are handled with destructive assignments to heaps, which is opposed to a purely functional programming style and makes verification difficult. We propose a new purely functional language, λGT, that handles graphs as immutable, first-class data structures with a pattern matching mechanism based on Graph Transformation and developed a new type system, FGT, for the language. Our approach is in contrast with the analysis of pointer manipulation programs using separation logic, shape analysis, etc. in that (i) we do not consider destructive operations but pattern matchings over graphs provided by the new higher-level language that abstract pointers and heaps away and that (ii) we pursue what properties can be established automatically using a rather simple typing framework." @default.
- W4320717526 created "2023-02-15" @default.
- W4320717526 creator A5004305056 @default.
- W4320717526 creator A5057846131 @default.
- W4320717526 creator A5089745488 @default.
- W4320717526 date "2023-01-01" @default.
- W4320717526 modified "2023-09-30" @default.
- W4320717526 title "Type Checking Data Structures More Complex than Trees" @default.
- W4320717526 cites W122465024 @default.
- W4320717526 cites W1506927614 @default.
- W4320717526 cites W1508113248 @default.
- W4320717526 cites W1569330921 @default.
- W4320717526 cites W1910824881 @default.
- W4320717526 cites W1993755151 @default.
- W4320717526 cites W2024895705 @default.
- W4320717526 cites W2070991879 @default.
- W4320717526 cites W2137628566 @default.
- W4320717526 cites W2293879310 @default.
- W4320717526 cites W2515019316 @default.
- W4320717526 cites W2561842634 @default.
- W4320717526 cites W2912166712 @default.
- W4320717526 cites W2913441074 @default.
- W4320717526 cites W2951804534 @default.
- W4320717526 cites W2985895390 @default.
- W4320717526 cites W38224647 @default.
- W4320717526 cites W4205916380 @default.
- W4320717526 cites W4210639184 @default.
- W4320717526 cites W4246394701 @default.
- W4320717526 cites W4252314084 @default.
- W4320717526 cites W4313161785 @default.
- W4320717526 doi "https://doi.org/10.2197/ipsjjip.31.112" @default.
- W4320717526 hasPublicationYear "2023" @default.
- W4320717526 type Work @default.
- W4320717526 citedByCount "1" @default.
- W4320717526 countsByYear W43207175262023 @default.
- W4320717526 crossrefType "journal-article" @default.
- W4320717526 hasAuthorship W4320717526A5004305056 @default.
- W4320717526 hasAuthorship W4320717526A5057846131 @default.
- W4320717526 hasAuthorship W4320717526A5089745488 @default.
- W4320717526 hasBestOaLocation W43207175261 @default.
- W4320717526 hasConcept C104317684 @default.
- W4320717526 hasConcept C132525143 @default.
- W4320717526 hasConcept C138958017 @default.
- W4320717526 hasConcept C150202949 @default.
- W4320717526 hasConcept C154945302 @default.
- W4320717526 hasConcept C162319229 @default.
- W4320717526 hasConcept C185592680 @default.
- W4320717526 hasConcept C199360897 @default.
- W4320717526 hasConcept C204241405 @default.
- W4320717526 hasConcept C41008148 @default.
- W4320717526 hasConcept C42383842 @default.
- W4320717526 hasConcept C55493867 @default.
- W4320717526 hasConcept C68859911 @default.
- W4320717526 hasConcept C80444323 @default.
- W4320717526 hasConceptScore W4320717526C104317684 @default.
- W4320717526 hasConceptScore W4320717526C132525143 @default.
- W4320717526 hasConceptScore W4320717526C138958017 @default.
- W4320717526 hasConceptScore W4320717526C150202949 @default.
- W4320717526 hasConceptScore W4320717526C154945302 @default.
- W4320717526 hasConceptScore W4320717526C162319229 @default.
- W4320717526 hasConceptScore W4320717526C185592680 @default.
- W4320717526 hasConceptScore W4320717526C199360897 @default.
- W4320717526 hasConceptScore W4320717526C204241405 @default.
- W4320717526 hasConceptScore W4320717526C41008148 @default.
- W4320717526 hasConceptScore W4320717526C42383842 @default.
- W4320717526 hasConceptScore W4320717526C55493867 @default.
- W4320717526 hasConceptScore W4320717526C68859911 @default.
- W4320717526 hasConceptScore W4320717526C80444323 @default.
- W4320717526 hasIssue "0" @default.
- W4320717526 hasLocation W43207175261 @default.
- W4320717526 hasLocation W43207175262 @default.
- W4320717526 hasOpenAccess W4320717526 @default.
- W4320717526 hasPrimaryLocation W43207175261 @default.
- W4320717526 hasRelatedWork W2048159240 @default.
- W4320717526 hasRelatedWork W2145738007 @default.
- W4320717526 hasRelatedWork W2157155332 @default.
- W4320717526 hasRelatedWork W2419558793 @default.
- W4320717526 hasRelatedWork W2521339408 @default.
- W4320717526 hasRelatedWork W4233387348 @default.
- W4320717526 hasRelatedWork W4320717526 @default.
- W4320717526 hasRelatedWork W4384159851 @default.
- W4320717526 hasRelatedWork W658795861 @default.
- W4320717526 hasRelatedWork W2493130382 @default.
- W4320717526 hasVolume "31" @default.
- W4320717526 isParatext "false" @default.
- W4320717526 isRetracted "false" @default.
- W4320717526 workType "article" @default.