FRINK Linked Data Fragments server

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

• W2016307966 endingPage "358" @default.
• W2016307966 startingPage "347" @default.
• W2016307966 abstract "A fair amount has been written on the subject of reasoning about pointer algorithms. There was a peak about 1980 when everyone seemed to be tackling the formal verification of the Schorr–Waite marking algorithm, including Gries (1979, Morris (1982) and Topor (1979). Bornat (2000) writes: “The Schorr–Waite algorithm is the first mountain that any formalism for pointer aliasing should climb”. Then it went more or less quiet for a while, but in the last few years there has been a resurgence of interest, driven by new ideas in relational algebras (Möeller, 1993), in data refinement Butler (1999), in type theory (Hofmann, 2000; Walker and Morrisett, 2000), in novel kinds of assertion (Reynolds, 2000), and by the demands of mechanised reasoning (Bornat, 2000). Most approaches end up being based in the Floyd–Dijkstra–Hoare tradition with loops and invariant assertions. To be sure, when dealing with any recursively-defined linked structure some declarative notation has to be brought in to specify the problem, but no one to my knowledge has advocated a purely functional approach throughout. Mason (1988) comes close, but his Lisp expressions can be very impure. Möller (1999) also exploits an algebraic approach, and the structure of his paper has much in common with what follows. This pearl explores the possibility of a simple functional approach to pointer manipulation algorithms." @default.
• W2016307966 created "2016-06-24" @default.
• W2016307966 creator A5068829812 @default.
• W2016307966 date "2001-05-01" @default.
• W2016307966 modified "2023-09-27" @default.
• W2016307966 title "FUNCTIONAL PEARL <i>Unfolding pointer algorithms</i>" @default.
• W2016307966 cites W1507693023 @default.
• W2016307966 cites W1507902915 @default.
• W2016307966 cites W1546899032 @default.
• W2016307966 cites W1548258731 @default.
• W2016307966 cites W1581217527 @default.
• W2016307966 cites W1799755858 @default.
• W2016307966 cites W1963928257 @default.
• W2016307966 cites W1987160431 @default.
• W2016307966 cites W1998875295 @default.
• W2016307966 cites W2014653306 @default.
• W2016307966 cites W2048168398 @default.
• W2016307966 cites W2071455557 @default.
• W2016307966 cites W2079388778 @default.
• W2016307966 cites W2087565681 @default.
• W2016307966 cites W2120897738 @default.
• W2016307966 cites W2132058442 @default.
• W2016307966 cites W29163854 @default.
• W2016307966 doi "https://doi.org/10.1017/s0956796801003914" @default.
• W2016307966 hasPublicationYear "2001" @default.
• W2016307966 type Work @default.
• W2016307966 sameAs 2016307966 @default.
• W2016307966 citedByCount "8" @default.
• W2016307966 countsByYear W20163079662021 @default.
• W2016307966 crossrefType "journal-article" @default.
• W2016307966 hasAuthorship W2016307966A5068829812 @default.
• W2016307966 hasBestOaLocation W20163079661 @default.
• W2016307966 hasConcept C11413529 @default.
• W2016307966 hasConcept C150202949 @default.
• W2016307966 hasConcept C154945302 @default.
• W2016307966 hasConcept C199360897 @default.
• W2016307966 hasConcept C33923547 @default.
• W2016307966 hasConcept C40422974 @default.
• W2016307966 hasConcept C41008148 @default.
• W2016307966 hasConcept C45357846 @default.
• W2016307966 hasConcept C94375191 @default.
• W2016307966 hasConceptScore W2016307966C11413529 @default.
• W2016307966 hasConceptScore W2016307966C150202949 @default.
• W2016307966 hasConceptScore W2016307966C154945302 @default.
• W2016307966 hasConceptScore W2016307966C199360897 @default.
• W2016307966 hasConceptScore W2016307966C33923547 @default.
• W2016307966 hasConceptScore W2016307966C40422974 @default.
• W2016307966 hasConceptScore W2016307966C41008148 @default.
• W2016307966 hasConceptScore W2016307966C45357846 @default.
• W2016307966 hasConceptScore W2016307966C94375191 @default.
• W2016307966 hasIssue "3" @default.
• W2016307966 hasLocation W20163079661 @default.
• W2016307966 hasLocation W20163079662 @default.
• W2016307966 hasOpenAccess W2016307966 @default.
• W2016307966 hasPrimaryLocation W20163079661 @default.
• W2016307966 hasRelatedWork W1502289629 @default.
• W2016307966 hasRelatedWork W201088255 @default.
• W2016307966 hasRelatedWork W2045903735 @default.
• W2016307966 hasRelatedWork W2048168398 @default.
• W2016307966 hasRelatedWork W2090686886 @default.
• W2016307966 hasRelatedWork W2112717272 @default.
• W2016307966 hasRelatedWork W2355331918 @default.
• W2016307966 hasRelatedWork W2388225464 @default.
• W2016307966 hasRelatedWork W2465655285 @default.
• W2016307966 hasRelatedWork W2899100898 @default.
• W2016307966 hasVolume "11" @default.
• W2016307966 isParatext "false" @default.
• W2016307966 isRetracted "false" @default.
• W2016307966 magId "2016307966" @default.
• W2016307966 workType "article" @default.