FRINK Linked Data Fragments server

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

• W2952100912 abstract "In a functional language, the dominant control-flow mechanism is function call and return. Most higher-order flow analyses, including k-CFA, do not handle call and return well: they remember only a bounded number of pending calls because they approximate programs with control-flow graphs. Call/return mismatch introduces precision-degrading spurious control-flow paths and increases the analysis time. We describe CFA2, the first flow analysis with precise call/return matching in the presence of higher-order functions and tail calls. We formulate CFA2 as an abstract interpretation of programs in continuation-passing style and describe a sound and complete summarization algorithm for our abstract semantics. A preliminary evaluation shows that CFA2 gives more accurate data-flow information than 0CFA and 1CFA." @default.
• W2952100912 created "2019-06-27" @default.
• W2952100912 creator A5010684351 @default.
• W2952100912 creator A5022683458 @default.
• W2952100912 date "2011-05-01" @default.
• W2952100912 modified "2023-10-17" @default.
• W2952100912 title "CFA2: a Context-Free Approach to Control-Flow Analysis" @default.
• W2952100912 cites W1589224558 @default.
• W2952100912 cites W1905205673 @default.
• W2952100912 cites W1973120448 @default.
• W2952100912 cites W2003786919 @default.
• W2952100912 cites W2046699259 @default.
• W2952100912 cites W2064982280 @default.
• W2952100912 cites W2071990711 @default.
• W2952100912 cites W2081272942 @default.
• W2952100912 cites W2095357205 @default.
• W2952100912 cites W2133497528 @default.
• W2952100912 cites W2151670874 @default.
• W2952100912 cites W2181943201 @default.
• W2952100912 cites W2912379640 @default.
• W2952100912 cites W3005174853 @default.
• W2952100912 cites W3006530635 @default.
• W2952100912 cites W3019389875 @default.
• W2952100912 cites W3033694951 @default.
• W2952100912 cites W3126200532 @default.
• W2952100912 cites W4234193105 @default.
• W2952100912 cites W4246701704 @default.
• W2952100912 cites W4250336630 @default.
• W2952100912 cites W4252567017 @default.
• W2952100912 doi "https://doi.org/10.2168/lmcs-7(2:3)2011" @default.
• W2952100912 hasPublicationYear "2011" @default.
• W2952100912 type Work @default.
• W2952100912 sameAs 2952100912 @default.
• W2952100912 citedByCount "19" @default.
• W2952100912 countsByYear W29521009122012 @default.
• W2952100912 countsByYear W29521009122013 @default.
• W2952100912 countsByYear W29521009122015 @default.
• W2952100912 countsByYear W29521009122016 @default.
• W2952100912 countsByYear W29521009122017 @default.
• W2952100912 countsByYear W29521009122019 @default.
• W2952100912 countsByYear W29521009122020 @default.
• W2952100912 countsByYear W29521009122021 @default.
• W2952100912 countsByYear W29521009122022 @default.
• W2952100912 countsByYear W29521009122023 @default.
• W2952100912 crossrefType "journal-article" @default.
• W2952100912 hasAuthorship W2952100912A5010684351 @default.
• W2952100912 hasAuthorship W2952100912A5022683458 @default.
• W2952100912 hasBestOaLocation W29521009121 @default.
• W2952100912 hasConcept C102379954 @default.
• W2952100912 hasConcept C105795698 @default.
• W2952100912 hasConcept C11413529 @default.
• W2952100912 hasConcept C119263510 @default.
• W2952100912 hasConcept C119857082 @default.
• W2952100912 hasConcept C134306372 @default.
• W2952100912 hasConcept C151730666 @default.
• W2952100912 hasConcept C154945302 @default.
• W2952100912 hasConcept C160191386 @default.
• W2952100912 hasConcept C165064840 @default.
• W2952100912 hasConcept C170858558 @default.
• W2952100912 hasConcept C176359209 @default.
• W2952100912 hasConcept C199360897 @default.
• W2952100912 hasConcept C2524010 @default.
• W2952100912 hasConcept C2779343474 @default.
• W2952100912 hasConcept C2780654840 @default.
• W2952100912 hasConcept C33923547 @default.
• W2952100912 hasConcept C34165917 @default.
• W2952100912 hasConcept C34388435 @default.
• W2952100912 hasConcept C38349280 @default.
• W2952100912 hasConcept C41008148 @default.
• W2952100912 hasConcept C50033165 @default.
• W2952100912 hasConcept C80444323 @default.
• W2952100912 hasConcept C86803240 @default.
• W2952100912 hasConcept C88626702 @default.
• W2952100912 hasConcept C97256817 @default.
• W2952100912 hasConceptScore W2952100912C102379954 @default.
• W2952100912 hasConceptScore W2952100912C105795698 @default.
• W2952100912 hasConceptScore W2952100912C11413529 @default.
• W2952100912 hasConceptScore W2952100912C119263510 @default.
• W2952100912 hasConceptScore W2952100912C119857082 @default.
• W2952100912 hasConceptScore W2952100912C134306372 @default.
• W2952100912 hasConceptScore W2952100912C151730666 @default.
• W2952100912 hasConceptScore W2952100912C154945302 @default.
• W2952100912 hasConceptScore W2952100912C160191386 @default.
• W2952100912 hasConceptScore W2952100912C165064840 @default.
• W2952100912 hasConceptScore W2952100912C170858558 @default.
• W2952100912 hasConceptScore W2952100912C176359209 @default.
• W2952100912 hasConceptScore W2952100912C199360897 @default.
• W2952100912 hasConceptScore W2952100912C2524010 @default.
• W2952100912 hasConceptScore W2952100912C2779343474 @default.
• W2952100912 hasConceptScore W2952100912C2780654840 @default.
• W2952100912 hasConceptScore W2952100912C33923547 @default.
• W2952100912 hasConceptScore W2952100912C34165917 @default.
• W2952100912 hasConceptScore W2952100912C34388435 @default.
• W2952100912 hasConceptScore W2952100912C38349280 @default.
• W2952100912 hasConceptScore W2952100912C41008148 @default.
• W2952100912 hasConceptScore W2952100912C50033165 @default.
• W2952100912 hasConceptScore W2952100912C80444323 @default.
• W2952100912 hasConceptScore W2952100912C86803240 @default.
• W2952100912 hasConceptScore W2952100912C88626702 @default.
• W2952100912 hasConceptScore W2952100912C97256817 @default.

• next