FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2146735995> ?p ?o ?g. }

• W2146735995 abstract "Despite the distinctive advantages of pattern matching in program understanding and reasoning, the tight coupling of interface and implementation has hampered its wider acceptance. Since the first proposal of views two decades ago, significant effort has been invested in tackling this non-modularity; the obvious target has been to decouple datatype implementations from separate interfaces used for pattern matching. However, having this decoupling to coexist with soundness of reasoning has been a challenge. Inspired by the development of invertible (bidirectional) programming, we propose a design of views based on a right-invertible language. The language is sufficiently expressive to program many of the existing and some novel view applications, with simple and sound reasoning properties: views can be manipulated as if they were datatypes and equivalent programs with respect to reasoning are guaranteed to exhibit identical operational behaviours." @default.
• W2146735995 created "2016-06-24" @default.
• W2146735995 creator A5002090753 @default.
• W2146735995 creator A5004575068 @default.
• W2146735995 creator A5036726873 @default.
• W2146735995 creator A5086558126 @default.
• W2146735995 date "2009-01-01" @default.
• W2146735995 modified "2023-10-03" @default.
• W2146735995 title "Translucent Abstraction: Safe Views through Invertible Programming" @default.
• W2146735995 cites W1483728665 @default.
• W2146735995 cites W1506888682 @default.
• W2146735995 cites W1526260980 @default.
• W2146735995 cites W1588812554 @default.
• W2146735995 cites W1606121052 @default.
• W2146735995 cites W1968796785 @default.
• W2146735995 cites W1977140313 @default.
• W2146735995 cites W1987975642 @default.
• W2146735995 cites W1988897846 @default.
• W2146735995 cites W2000616678 @default.
• W2146735995 cites W2011941456 @default.
• W2146735995 cites W2057292961 @default.
• W2146735995 cites W2064138295 @default.
• W2146735995 cites W2102311747 @default.
• W2146735995 cites W2109795737 @default.
• W2146735995 cites W2114980032 @default.
• W2146735995 cites W2115472920 @default.
• W2146735995 cites W2121357705 @default.
• W2146735995 cites W2141447233 @default.
• W2146735995 cites W2151592950 @default.
• W2146735995 cites W2156076209 @default.
• W2146735995 cites W2158107019 @default.
• W2146735995 cites W2914943882 @default.
• W2146735995 cites W3092466019 @default.
• W2146735995 hasPublicationYear "2009" @default.
• W2146735995 type Work @default.
• W2146735995 sameAs 2146735995 @default.
• W2146735995 citedByCount "1" @default.
• W2146735995 crossrefType "journal-article" @default.
• W2146735995 hasAuthorship W2146735995A5002090753 @default.
• W2146735995 hasAuthorship W2146735995A5004575068 @default.
• W2146735995 hasAuthorship W2146735995A5036726873 @default.
• W2146735995 hasAuthorship W2146735995A5086558126 @default.
• W2146735995 hasConcept C105795698 @default.
• W2146735995 hasConcept C111472728 @default.
• W2146735995 hasConcept C124304363 @default.
• W2146735995 hasConcept C127413603 @default.
• W2146735995 hasConcept C133731056 @default.
• W2146735995 hasConcept C138885662 @default.
• W2146735995 hasConcept C154945302 @default.
• W2146735995 hasConcept C165064840 @default.
• W2146735995 hasConcept C199360897 @default.
• W2146735995 hasConcept C202444582 @default.
• W2146735995 hasConcept C205606062 @default.
• W2146735995 hasConcept C26713055 @default.
• W2146735995 hasConcept C2779478453 @default.
• W2146735995 hasConcept C33923547 @default.
• W2146735995 hasConcept C39920170 @default.
• W2146735995 hasConcept C41008148 @default.
• W2146735995 hasConcept C54355233 @default.
• W2146735995 hasConcept C80444323 @default.
• W2146735995 hasConcept C86803240 @default.
• W2146735995 hasConcept C96442724 @default.
• W2146735995 hasConceptScore W2146735995C105795698 @default.
• W2146735995 hasConceptScore W2146735995C111472728 @default.
• W2146735995 hasConceptScore W2146735995C124304363 @default.
• W2146735995 hasConceptScore W2146735995C127413603 @default.
• W2146735995 hasConceptScore W2146735995C133731056 @default.
• W2146735995 hasConceptScore W2146735995C138885662 @default.
• W2146735995 hasConceptScore W2146735995C154945302 @default.
• W2146735995 hasConceptScore W2146735995C165064840 @default.
• W2146735995 hasConceptScore W2146735995C199360897 @default.
• W2146735995 hasConceptScore W2146735995C202444582 @default.
• W2146735995 hasConceptScore W2146735995C205606062 @default.
• W2146735995 hasConceptScore W2146735995C26713055 @default.
• W2146735995 hasConceptScore W2146735995C2779478453 @default.
• W2146735995 hasConceptScore W2146735995C33923547 @default.
• W2146735995 hasConceptScore W2146735995C39920170 @default.
• W2146735995 hasConceptScore W2146735995C41008148 @default.
• W2146735995 hasConceptScore W2146735995C54355233 @default.
• W2146735995 hasConceptScore W2146735995C80444323 @default.
• W2146735995 hasConceptScore W2146735995C86803240 @default.
• W2146735995 hasConceptScore W2146735995C96442724 @default.
• W2146735995 hasLocation W21467359951 @default.
• W2146735995 hasOpenAccess W2146735995 @default.
• W2146735995 hasPrimaryLocation W21467359951 @default.
• W2146735995 hasRelatedWork W134518568 @default.
• W2146735995 hasRelatedWork W1514370277 @default.
• W2146735995 hasRelatedWork W1528588261 @default.
• W2146735995 hasRelatedWork W1970404787 @default.
• W2146735995 hasRelatedWork W2028083276 @default.
• W2146735995 hasRelatedWork W2036116589 @default.
• W2146735995 hasRelatedWork W2042195583 @default.
• W2146735995 hasRelatedWork W2064276275 @default.
• W2146735995 hasRelatedWork W2088322083 @default.
• W2146735995 hasRelatedWork W2093659090 @default.
• W2146735995 hasRelatedWork W2113115746 @default.
• W2146735995 hasRelatedWork W2120487396 @default.
• W2146735995 hasRelatedWork W2145970466 @default.
• W2146735995 hasRelatedWork W2152115980 @default.
• W2146735995 hasRelatedWork W2168657248 @default.

• next