Matches in SemOpenAlex for { <https://semopenalex.org/work/W1627011610> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W1627011610 endingPage "184" @default.
- W1627011610 startingPage "165" @default.
- W1627011610 abstract "Logic languages based on the theory of rational, possibly infinite, trees have much appeal in that rational trees allow for faster unification (due to the omission of the occurs-check) and increased expressivity. Note that cyclic terms can provide a very efficient representation of grammars and other useful objects. Unfortunately, the use of infinite rational trees has problems. For instance, many of the built-in and library predicates are ill-defined for such trees and need to be supplemented by run-time checks whose cost may be significant. Moreover, some widely-used program analysis and manipulation techniques are only correct for those parts of programs working over finite trees. It is thus important to obtain, automatically, a knowledge of those program variables (the finite variables) that, at the program points of interest, will always be bound to finite terms. For these reasons, we propose here a new data-flow analysis that captures such information. We present a parametric domain where a simple component for recording finite variables is coupled with a generic domain (the parameter of the construction) providing sharing information. The sharing domain is abstractly specified so as to guarantee the correctness of the combined domain and the generality of the approach." @default.
- W1627011610 created "2016-06-24" @default.
- W1627011610 creator A5022948889 @default.
- W1627011610 creator A5057370941 @default.
- W1627011610 creator A5065794938 @default.
- W1627011610 creator A5090195630 @default.
- W1627011610 date "2001-01-01" @default.
- W1627011610 modified "2023-09-26" @default.
- W1627011610 title "Finite-Tree Analysis for Constraint Logic-Based Languages" @default.
- W1627011610 cites W1513445487 @default.
- W1627011610 cites W1591842587 @default.
- W1627011610 cites W1603485317 @default.
- W1627011610 cites W1627011610 @default.
- W1627011610 cites W1785533761 @default.
- W1627011610 cites W1970730703 @default.
- W1627011610 cites W2004256601 @default.
- W1627011610 cites W2012285826 @default.
- W1627011610 cites W2020189549 @default.
- W1627011610 cites W2035032795 @default.
- W1627011610 cites W2035855976 @default.
- W1627011610 cites W2043100293 @default.
- W1627011610 cites W2049896797 @default.
- W1627011610 cites W2083081801 @default.
- W1627011610 cites W2084875723 @default.
- W1627011610 cites W2096765148 @default.
- W1627011610 cites W2123396057 @default.
- W1627011610 cites W2126384248 @default.
- W1627011610 cites W2150676690 @default.
- W1627011610 cites W2178196758 @default.
- W1627011610 cites W615227492 @default.
- W1627011610 doi "https://doi.org/10.1007/3-540-47764-0_10" @default.
- W1627011610 hasPublicationYear "2001" @default.
- W1627011610 type Work @default.
- W1627011610 sameAs 1627011610 @default.
- W1627011610 citedByCount "15" @default.
- W1627011610 countsByYear W16270116102014 @default.
- W1627011610 crossrefType "book-chapter" @default.
- W1627011610 hasAuthorship W1627011610A5022948889 @default.
- W1627011610 hasAuthorship W1627011610A5057370941 @default.
- W1627011610 hasAuthorship W1627011610A5065794938 @default.
- W1627011610 hasAuthorship W1627011610A5090195630 @default.
- W1627011610 hasBestOaLocation W16270116102 @default.
- W1627011610 hasConcept C111472728 @default.
- W1627011610 hasConcept C113174947 @default.
- W1627011610 hasConcept C11413529 @default.
- W1627011610 hasConcept C134306372 @default.
- W1627011610 hasConcept C138885662 @default.
- W1627011610 hasConcept C15744967 @default.
- W1627011610 hasConcept C199360897 @default.
- W1627011610 hasConcept C2780586882 @default.
- W1627011610 hasConcept C2780767217 @default.
- W1627011610 hasConcept C33923547 @default.
- W1627011610 hasConcept C36503486 @default.
- W1627011610 hasConcept C41008148 @default.
- W1627011610 hasConcept C542102704 @default.
- W1627011610 hasConcept C55439883 @default.
- W1627011610 hasConcept C80444323 @default.
- W1627011610 hasConcept C96146094 @default.
- W1627011610 hasConceptScore W1627011610C111472728 @default.
- W1627011610 hasConceptScore W1627011610C113174947 @default.
- W1627011610 hasConceptScore W1627011610C11413529 @default.
- W1627011610 hasConceptScore W1627011610C134306372 @default.
- W1627011610 hasConceptScore W1627011610C138885662 @default.
- W1627011610 hasConceptScore W1627011610C15744967 @default.
- W1627011610 hasConceptScore W1627011610C199360897 @default.
- W1627011610 hasConceptScore W1627011610C2780586882 @default.
- W1627011610 hasConceptScore W1627011610C2780767217 @default.
- W1627011610 hasConceptScore W1627011610C33923547 @default.
- W1627011610 hasConceptScore W1627011610C36503486 @default.
- W1627011610 hasConceptScore W1627011610C41008148 @default.
- W1627011610 hasConceptScore W1627011610C542102704 @default.
- W1627011610 hasConceptScore W1627011610C55439883 @default.
- W1627011610 hasConceptScore W1627011610C80444323 @default.
- W1627011610 hasConceptScore W1627011610C96146094 @default.
- W1627011610 hasLocation W16270116101 @default.
- W1627011610 hasLocation W16270116102 @default.
- W1627011610 hasOpenAccess W1627011610 @default.
- W1627011610 hasPrimaryLocation W16270116101 @default.
- W1627011610 hasRelatedWork W1485769279 @default.
- W1627011610 hasRelatedWork W1592019736 @default.
- W1627011610 hasRelatedWork W1802356660 @default.
- W1627011610 hasRelatedWork W1985198438 @default.
- W1627011610 hasRelatedWork W2141598841 @default.
- W1627011610 hasRelatedWork W2392722258 @default.
- W1627011610 hasRelatedWork W2913543606 @default.
- W1627011610 hasRelatedWork W2949818261 @default.
- W1627011610 hasRelatedWork W4238823939 @default.
- W1627011610 hasRelatedWork W4242922013 @default.
- W1627011610 isParatext "false" @default.
- W1627011610 isRetracted "false" @default.
- W1627011610 magId "1627011610" @default.
- W1627011610 workType "book-chapter" @default.