FRINK Linked Data Fragments server

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

• W1994418588 endingPage "116" @default.
• W1994418588 startingPage "84" @default.
• W1994418588 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 safe omission of the occurs-check) and increased expressivity (cyclic terms can provide very efficient representations 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 correct only for those parts of programs working over finite trees. It is thus important to obtain, automatically, a knowledge of the 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, based on abstract interpretation, that captures such information. We present a parametric domain where a simple component for recording finite variables is coupled, in the style of the open product construction of Cortesi et al., 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. This finite-tree analysis domain is further enhanced by coupling it with a domain of Boolean functions, called finite-tree dependencies , that precisely captures how the finiteness of some variables influences the finiteness of other variables. We also summarize our experimental results showing how finite-tree analysis, enhanced with finite-tree dependencies, is a practical means of obtaining precise finiteness information." @default.
• W1994418588 created "2016-06-24" @default.
• W1994418588 creator A5022948889 @default.
• W1994418588 creator A5057370941 @default.
• W1994418588 creator A5065794938 @default.
• W1994418588 creator A5090195630 @default.
• W1994418588 date "2004-09-01" @default.
• W1994418588 modified "2023-09-29" @default.
• W1994418588 title "Finite-tree analysis for constraint logic-based languages" @default.
• W1994418588 cites W106533737 @default.
• W1994418588 cites W1486648617 @default.
• W1994418588 cites W1513445487 @default.
• W1994418588 cites W1538606085 @default.
• W1994418588 cites W1584357601 @default.
• W1994418588 cites W1590433112 @default.
• W1994418588 cites W1591842587 @default.
• W1994418588 cites W1602567617 @default.
• W1994418588 cites W1603485317 @default.
• W1994418588 cites W1627011610 @default.
• W1994418588 cites W1785533761 @default.
• W1994418588 cites W1965825795 @default.
• W1994418588 cites W1969900041 @default.
• W1994418588 cites W1970730703 @default.
• W1994418588 cites W1977541831 @default.
• W1994418588 cites W1996679397 @default.
• W1994418588 cites W2001265243 @default.
• W1994418588 cites W2003914809 @default.
• W1994418588 cites W2004256601 @default.
• W1994418588 cites W2012069736 @default.
• W1994418588 cites W2012285826 @default.
• W1994418588 cites W2013417779 @default.
• W1994418588 cites W2020189549 @default.
• W1994418588 cites W2029950390 @default.
• W1994418588 cites W2030224590 @default.
• W1994418588 cites W2035032795 @default.
• W1994418588 cites W2035855976 @default.
• W1994418588 cites W2043100293 @default.
• W1994418588 cites W2044088863 @default.
• W1994418588 cites W2044778622 @default.
• W1994418588 cites W2057821410 @default.
• W1994418588 cites W2069076448 @default.
• W1994418588 cites W2081810835 @default.
• W1994418588 cites W2083081801 @default.
• W1994418588 cites W2084875723 @default.
• W1994418588 cites W2096765148 @default.
• W1994418588 cites W2103656714 @default.
• W1994418588 cites W2110916215 @default.
• W1994418588 cites W2121932590 @default.
• W1994418588 cites W2126384248 @default.
• W1994418588 cites W2141598841 @default.
• W1994418588 cites W2150676690 @default.
• W1994418588 cites W2178196758 @default.
• W1994418588 cites W2219900485 @default.
• W1994418588 cites W2852225 @default.
• W1994418588 cites W1591007687 @default.
• W1994418588 doi "https://doi.org/10.1016/j.ic.2004.04.005" @default.
• W1994418588 hasPublicationYear "2004" @default.
• W1994418588 type Work @default.
• W1994418588 sameAs 1994418588 @default.
• W1994418588 citedByCount "8" @default.
• W1994418588 crossrefType "journal-article" @default.
• W1994418588 hasAuthorship W1994418588A5022948889 @default.
• W1994418588 hasAuthorship W1994418588A5057370941 @default.
• W1994418588 hasAuthorship W1994418588A5065794938 @default.
• W1994418588 hasAuthorship W1994418588A5090195630 @default.
• W1994418588 hasBestOaLocation W19944185881 @default.
• W1994418588 hasConcept C113174947 @default.
• W1994418588 hasConcept C11413529 @default.
• W1994418588 hasConcept C134306372 @default.
• W1994418588 hasConcept C199360897 @default.
• W1994418588 hasConcept C2780654840 @default.
• W1994418588 hasConcept C33923547 @default.
• W1994418588 hasConcept C36503486 @default.
• W1994418588 hasConcept C41008148 @default.
• W1994418588 hasConcept C55439883 @default.
• W1994418588 hasConcept C7342684 @default.
• W1994418588 hasConcept C80444323 @default.
• W1994418588 hasConcept C96146094 @default.
• W1994418588 hasConceptScore W1994418588C113174947 @default.
• W1994418588 hasConceptScore W1994418588C11413529 @default.
• W1994418588 hasConceptScore W1994418588C134306372 @default.
• W1994418588 hasConceptScore W1994418588C199360897 @default.
• W1994418588 hasConceptScore W1994418588C2780654840 @default.
• W1994418588 hasConceptScore W1994418588C33923547 @default.
• W1994418588 hasConceptScore W1994418588C36503486 @default.
• W1994418588 hasConceptScore W1994418588C41008148 @default.
• W1994418588 hasConceptScore W1994418588C55439883 @default.
• W1994418588 hasConceptScore W1994418588C7342684 @default.
• W1994418588 hasConceptScore W1994418588C80444323 @default.
• W1994418588 hasConceptScore W1994418588C96146094 @default.
• W1994418588 hasIssue "2" @default.
• W1994418588 hasLocation W19944185881 @default.
• W1994418588 hasLocation W19944185882 @default.
• W1994418588 hasOpenAccess W1994418588 @default.
• W1994418588 hasPrimaryLocation W19944185881 @default.
• W1994418588 hasRelatedWork W1499749917 @default.
• W1994418588 hasRelatedWork W1584053602 @default.
• W1994418588 hasRelatedWork W1591842587 @default.

• next