FRINK Linked Data Fragments server

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

• W1512736032 abstract "Dependency analysis aims at identifying how different parts of a program depend on each other. It is the kernel of many issues in program analysis such as dead-code, binding time, strictness, program slicing etc. We address the problem of dependency analysis in the context of typed /spl lambda/-calculus. We consider all systems of the /spl lambda/-cube and extend them conservatively by the addition of new typing rules in order to determine which parts of a /spl lambda/-term may contribute to its evaluation. We show how typing information can be used to statically identify dependencies." @default.
• W1512736032 created "2016-06-24" @default.
• W1512736032 creator A5017307455 @default.
• W1512736032 date "2002-11-07" @default.
• W1512736032 modified "2023-09-26" @default.
• W1512736032 title "A static calculus of dependencies for the λ-cube" @default.
• W1512736032 cites W145869046 @default.
• W1512736032 cites W1519142519 @default.
• W1512736032 cites W1545906432 @default.
• W1512736032 cites W159715351 @default.
• W1512736032 cites W1826040061 @default.
• W1512736032 cites W1853629934 @default.
• W1512736032 cites W1999707021 @default.
• W1512736032 cites W2015256273 @default.
• W1512736032 cites W2016017569 @default.
• W1512736032 cites W2017720469 @default.
• W1512736032 cites W2044758536 @default.
• W1512736032 cites W2067012475 @default.
• W1512736032 cites W2086054252 @default.
• W1512736032 cites W2103196544 @default.
• W1512736032 cites W2131558630 @default.
• W1512736032 cites W2145969019 @default.
• W1512736032 cites W2163976959 @default.
• W1512736032 cites W2402296188 @default.
• W1512736032 cites W303139982 @default.
• W1512736032 doi "https://doi.org/10.1109/lics.2000.855775" @default.
• W1512736032 hasPublicationYear "2002" @default.
• W1512736032 type Work @default.
• W1512736032 sameAs 1512736032 @default.
• W1512736032 citedByCount "4" @default.
• W1512736032 countsByYear W15127360322022 @default.
• W1512736032 crossrefType "proceedings-article" @default.
• W1512736032 hasAuthorship W1512736032A5017307455 @default.
• W1512736032 hasConcept C114614502 @default.
• W1512736032 hasConcept C120665830 @default.
• W1512736032 hasConcept C121332964 @default.
• W1512736032 hasConcept C135790938 @default.
• W1512736032 hasConcept C136764020 @default.
• W1512736032 hasConcept C142156749 @default.
• W1512736032 hasConcept C151730666 @default.
• W1512736032 hasConcept C154945302 @default.
• W1512736032 hasConcept C19768560 @default.
• W1512736032 hasConcept C199360897 @default.
• W1512736032 hasConcept C2776190703 @default.
• W1512736032 hasConcept C2778113609 @default.
• W1512736032 hasConcept C2779343474 @default.
• W1512736032 hasConcept C33923547 @default.
• W1512736032 hasConcept C41008148 @default.
• W1512736032 hasConcept C53051483 @default.
• W1512736032 hasConcept C55128367 @default.
• W1512736032 hasConcept C61237538 @default.
• W1512736032 hasConcept C77736955 @default.
• W1512736032 hasConcept C80444323 @default.
• W1512736032 hasConcept C86803240 @default.
• W1512736032 hasConcept C91071405 @default.
• W1512736032 hasConcept C97686452 @default.
• W1512736032 hasConceptScore W1512736032C114614502 @default.
• W1512736032 hasConceptScore W1512736032C120665830 @default.
• W1512736032 hasConceptScore W1512736032C121332964 @default.
• W1512736032 hasConceptScore W1512736032C135790938 @default.
• W1512736032 hasConceptScore W1512736032C136764020 @default.
• W1512736032 hasConceptScore W1512736032C142156749 @default.
• W1512736032 hasConceptScore W1512736032C151730666 @default.
• W1512736032 hasConceptScore W1512736032C154945302 @default.
• W1512736032 hasConceptScore W1512736032C19768560 @default.
• W1512736032 hasConceptScore W1512736032C199360897 @default.
• W1512736032 hasConceptScore W1512736032C2776190703 @default.
• W1512736032 hasConceptScore W1512736032C2778113609 @default.
• W1512736032 hasConceptScore W1512736032C2779343474 @default.
• W1512736032 hasConceptScore W1512736032C33923547 @default.
• W1512736032 hasConceptScore W1512736032C41008148 @default.
• W1512736032 hasConceptScore W1512736032C53051483 @default.
• W1512736032 hasConceptScore W1512736032C55128367 @default.
• W1512736032 hasConceptScore W1512736032C61237538 @default.
• W1512736032 hasConceptScore W1512736032C77736955 @default.
• W1512736032 hasConceptScore W1512736032C80444323 @default.
• W1512736032 hasConceptScore W1512736032C86803240 @default.
• W1512736032 hasConceptScore W1512736032C91071405 @default.
• W1512736032 hasConceptScore W1512736032C97686452 @default.
• W1512736032 hasLocation W15127360321 @default.
• W1512736032 hasOpenAccess W1512736032 @default.
• W1512736032 hasPrimaryLocation W15127360321 @default.
• W1512736032 hasRelatedWork W1510641142 @default.
• W1512736032 hasRelatedWork W1547651002 @default.
• W1512736032 hasRelatedWork W1595769750 @default.
• W1512736032 hasRelatedWork W1596636813 @default.
• W1512736032 hasRelatedWork W1892209699 @default.
• W1512736032 hasRelatedWork W1985242199 @default.
• W1512736032 hasRelatedWork W2067012475 @default.
• W1512736032 hasRelatedWork W2074641339 @default.
• W1512736032 hasRelatedWork W2104888341 @default.
• W1512736032 hasRelatedWork W2112776683 @default.
• W1512736032 hasRelatedWork W2113696254 @default.
• W1512736032 hasRelatedWork W2120534322 @default.
• W1512736032 hasRelatedWork W2134291411 @default.
• W1512736032 hasRelatedWork W2146437601 @default.
• W1512736032 hasRelatedWork W2148186468 @default.
• W1512736032 hasRelatedWork W2613133382 @default.
• W1512736032 hasRelatedWork W2885446918 @default.
• W1512736032 hasRelatedWork W2912924461 @default.

• next