Matches in SemOpenAlex for { <https://semopenalex.org/work/W2014653306> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W2014653306 endingPage "260" @default.
- W2014653306 startingPage "221" @default.
- W2014653306 abstract "We describe an approach to the derivation of correct algorithms on tree-based pointer structures. The approach is based on enriching trees in a way that allows us to model commonly used pointer manipulations on tree structures. We provide rules which allow recursive functions on trees to be transformed into imperative algorithms on enriched trees. In addition, we provide rules which allow algorithms on enriched trees to be mechanically transformed into efficient pointer algorithms. All transformations are correctness-preserving. A key point of our approach is that we avoid aliasing through the way in which trees are enriched and through some simple syntactic restrictions on transformable programs." @default.
- W2014653306 created "2016-06-24" @default.
- W2014653306 creator A5056335848 @default.
- W2014653306 date "1999-03-01" @default.
- W2014653306 modified "2023-09-27" @default.
- W2014653306 title "Calculational derivation of pointer algorithms from tree operations" @default.
- W2014653306 cites W1503870455 @default.
- W2014653306 cites W1535757506 @default.
- W2014653306 cites W1548258731 @default.
- W2014653306 cites W1552647623 @default.
- W2014653306 cites W1559870885 @default.
- W2014653306 cites W156257448 @default.
- W2014653306 cites W1973583541 @default.
- W2014653306 cites W1987160431 @default.
- W2014653306 cites W2037911517 @default.
- W2014653306 cites W2048168398 @default.
- W2014653306 cites W2087713039 @default.
- W2014653306 cites W2103953153 @default.
- W2014653306 cites W2126815079 @default.
- W2014653306 cites W2132058442 @default.
- W2014653306 cites W2132750992 @default.
- W2014653306 cites W2912818154 @default.
- W2014653306 cites W91699701 @default.
- W2014653306 doi "https://doi.org/10.1016/s0167-6423(98)00016-1" @default.
- W2014653306 hasPublicationYear "1999" @default.
- W2014653306 type Work @default.
- W2014653306 sameAs 2014653306 @default.
- W2014653306 citedByCount "8" @default.
- W2014653306 countsByYear W20146533062012 @default.
- W2014653306 crossrefType "journal-article" @default.
- W2014653306 hasAuthorship W2014653306A5056335848 @default.
- W2014653306 hasBestOaLocation W20146533061 @default.
- W2014653306 hasConcept C113174947 @default.
- W2014653306 hasConcept C11413529 @default.
- W2014653306 hasConcept C134306372 @default.
- W2014653306 hasConcept C150202949 @default.
- W2014653306 hasConcept C154945302 @default.
- W2014653306 hasConcept C199360897 @default.
- W2014653306 hasConcept C33923547 @default.
- W2014653306 hasConcept C41008148 @default.
- W2014653306 hasConcept C80444323 @default.
- W2014653306 hasConceptScore W2014653306C113174947 @default.
- W2014653306 hasConceptScore W2014653306C11413529 @default.
- W2014653306 hasConceptScore W2014653306C134306372 @default.
- W2014653306 hasConceptScore W2014653306C150202949 @default.
- W2014653306 hasConceptScore W2014653306C154945302 @default.
- W2014653306 hasConceptScore W2014653306C199360897 @default.
- W2014653306 hasConceptScore W2014653306C33923547 @default.
- W2014653306 hasConceptScore W2014653306C41008148 @default.
- W2014653306 hasConceptScore W2014653306C80444323 @default.
- W2014653306 hasIssue "3" @default.
- W2014653306 hasLocation W20146533061 @default.
- W2014653306 hasOpenAccess W2014653306 @default.
- W2014653306 hasPrimaryLocation W20146533061 @default.
- W2014653306 hasRelatedWork W2039139011 @default.
- W2014653306 hasRelatedWork W2045903735 @default.
- W2014653306 hasRelatedWork W2126981475 @default.
- W2014653306 hasRelatedWork W2135396778 @default.
- W2014653306 hasRelatedWork W2139980638 @default.
- W2014653306 hasRelatedWork W2899100898 @default.
- W2014653306 hasRelatedWork W3173805624 @default.
- W2014653306 hasRelatedWork W4237187719 @default.
- W2014653306 hasRelatedWork W4243252198 @default.
- W2014653306 hasRelatedWork W2473782931 @default.
- W2014653306 hasVolume "33" @default.
- W2014653306 isParatext "false" @default.
- W2014653306 isRetracted "false" @default.
- W2014653306 magId "2014653306" @default.
- W2014653306 workType "article" @default.