FRINK Linked Data Fragments server

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

• W634569466 abstract "We present a new static type analysis for dynamically-typed languages that produces high quality results at a cost that remains practicable. The analysis has the ability to adapt to the needs of the optimiser and to the characteristics of the program at hand. The result is an analyser that quickly transforms itself to be better equipped to attack the program. Experiments show that our approach can be pretty clever in the optimisations that it enables. The analysis is adaptable because it is accomplished using a parametric Many properties of the analysis framework are presented and proved in the dissertation. Among which there is the guarantee of termination of any analysis instance it produces, the capacity to analyse perfectly well error-free terminating programs, and the ability to mimic many conventional static analyses. are realised through the use of demands and demand processing rules. Demands express a request for the demonstration of a property deemed useful to the optimiser. The processing rules allow demands that directly express the needs of the optimiser to be translated into precise proposals of modifications potentially directly helpful to the optimiser because the processing rules ensure that pertinent demands are translated into other pertinent demands. A complete approach of demand-driven analysis based on pattern-matching is exposed and has been implemented. The prototype implementing the approach has demonstrated that our work has great potential. Further research has to be conducted to make the method usable in everyday compilers. Still, this is understandable, considering that our whole work, except the notions related to conventional static analysis, is original material." @default.
• W634569466 created "2016-06-24" @default.
• W634569466 creator A5002805475 @default.
• W634569466 creator A5032970376 @default.
• W634569466 date "2003-01-01" @default.
• W634569466 modified "2023-09-26" @default.
• W634569466 title "Demand-driven type analysis for dynamically-typed functional languages" @default.
• W634569466 cites W1487777477 @default.
• W634569466 cites W1491178396 @default.
• W634569466 cites W1529673590 @default.
• W634569466 cites W1553391613 @default.
• W634569466 cites W1591707147 @default.
• W634569466 cites W1605686507 @default.
• W634569466 cites W1775921724 @default.
• W634569466 cites W1779315440 @default.
• W634569466 cites W1875836313 @default.
• W634569466 cites W1963954367 @default.
• W634569466 cites W1971417898 @default.
• W634569466 cites W1973576343 @default.
• W634569466 cites W1974895492 @default.
• W634569466 cites W1976808561 @default.
• W634569466 cites W1977401936 @default.
• W634569466 cites W1984342415 @default.
• W634569466 cites W1986693746 @default.
• W634569466 cites W1994372357 @default.
• W634569466 cites W1998646634 @default.
• W634569466 cites W2004378344 @default.
• W634569466 cites W2006471246 @default.
• W634569466 cites W2007313703 @default.
• W634569466 cites W2009953498 @default.
• W634569466 cites W2012781562 @default.
• W634569466 cites W2017842497 @default.
• W634569466 cites W2022363576 @default.
• W634569466 cites W2022443117 @default.
• W634569466 cites W2033721332 @default.
• W634569466 cites W2035401157 @default.
• W634569466 cites W2036245334 @default.
• W634569466 cites W2043100293 @default.
• W634569466 cites W2047793578 @default.
• W634569466 cites W2054939714 @default.
• W634569466 cites W2057085278 @default.
• W634569466 cites W2059285757 @default.
• W634569466 cites W2062823821 @default.
• W634569466 cites W2064566718 @default.
• W634569466 cites W2068219251 @default.
• W634569466 cites W2068711880 @default.
• W634569466 cites W2070430903 @default.
• W634569466 cites W2079549821 @default.
• W634569466 cites W2087612811 @default.
• W634569466 cites W2094516550 @default.
• W634569466 cites W2097448496 @default.
• W634569466 cites W2121169478 @default.
• W634569466 cites W2135688034 @default.
• W634569466 cites W2155628381 @default.
• W634569466 cites W2161100976 @default.
• W634569466 cites W2165069483 @default.
• W634569466 cites W2295244175 @default.
• W634569466 cites W2470614851 @default.
• W634569466 cites W3188609334 @default.
• W634569466 hasPublicationYear "2003" @default.
• W634569466 type Work @default.
• W634569466 sameAs 634569466 @default.
• W634569466 citedByCount "1" @default.
• W634569466 crossrefType "dissertation" @default.
• W634569466 hasAuthorship W634569466A5002805475 @default.
• W634569466 hasAuthorship W634569466A5032970376 @default.
• W634569466 hasConcept C105795698 @default.
• W634569466 hasConcept C111472728 @default.
• W634569466 hasConcept C115903868 @default.
• W634569466 hasConcept C117251300 @default.
• W634569466 hasConcept C136764020 @default.
• W634569466 hasConcept C138885662 @default.
• W634569466 hasConcept C165064840 @default.
• W634569466 hasConcept C169590947 @default.
• W634569466 hasConcept C185592680 @default.
• W634569466 hasConcept C199360897 @default.
• W634569466 hasConcept C26834552 @default.
• W634569466 hasConcept C2779530757 @default.
• W634569466 hasConcept C2780615836 @default.
• W634569466 hasConcept C33923547 @default.
• W634569466 hasConcept C41008148 @default.
• W634569466 hasConcept C43617362 @default.
• W634569466 hasConcept C97686452 @default.
• W634569466 hasConcept C98183937 @default.
• W634569466 hasConceptScore W634569466C105795698 @default.
• W634569466 hasConceptScore W634569466C111472728 @default.
• W634569466 hasConceptScore W634569466C115903868 @default.
• W634569466 hasConceptScore W634569466C117251300 @default.
• W634569466 hasConceptScore W634569466C136764020 @default.
• W634569466 hasConceptScore W634569466C138885662 @default.
• W634569466 hasConceptScore W634569466C165064840 @default.
• W634569466 hasConceptScore W634569466C169590947 @default.
• W634569466 hasConceptScore W634569466C185592680 @default.
• W634569466 hasConceptScore W634569466C199360897 @default.
• W634569466 hasConceptScore W634569466C26834552 @default.
• W634569466 hasConceptScore W634569466C2779530757 @default.
• W634569466 hasConceptScore W634569466C2780615836 @default.
• W634569466 hasConceptScore W634569466C33923547 @default.
• W634569466 hasConceptScore W634569466C41008148 @default.
• W634569466 hasConceptScore W634569466C43617362 @default.

• next