Matches in SemOpenAlex for { <https://semopenalex.org/work/W2215319235> ?p ?o ?g. }
- W2215319235 abstract "Analysis of program running time is important for reactive systems, interactive environments, compiler optimizations, performance evaluation, and many other computer applications. Automatic and efficient prediction of accurate time bounds is particularly important, and being able to do so for high-level languages is particularly desirable. This dissertation presents a general approach for automatic and accurate time-bound analysis for high-level languages, combining methods and techniques studied in theory, languages, and systems. The approach consists of transformations for building time-bound functions in the presence of partially known input structures, symbolic evaluation of the time-bound function based on input parameters, optimizations to make the analysis efficient as well as accurate, and measurements of primitive parameters, all at the source-language level. We describe analysis and transformation algorithms and explain how they work. We have implemented this approach and performed a large number of experiments analyzing Scheme programs. The measured worst-case times are closely bounded by the calculated bounds. We describe our prototype system, ALPA, as well as the analysis and measurement results." @default.
- W2215319235 created "2016-06-24" @default.
- W2215319235 creator A5044439407 @default.
- W2215319235 creator A5083606621 @default.
- W2215319235 date "2007-01-01" @default.
- W2215319235 modified "2023-09-27" @default.
- W2215319235 title "Automatic time-bound analysis for high-level languages" @default.
- W2215319235 cites W13464817 @default.
- W2215319235 cites W1486562535 @default.
- W2215319235 cites W1526316702 @default.
- W2215319235 cites W1543641760 @default.
- W2215319235 cites W1549015660 @default.
- W2215319235 cites W1549821722 @default.
- W2215319235 cites W1556604985 @default.
- W2215319235 cites W1557490801 @default.
- W2215319235 cites W1560887622 @default.
- W2215319235 cites W1561021211 @default.
- W2215319235 cites W1567423028 @default.
- W2215319235 cites W1621845569 @default.
- W2215319235 cites W1783388813 @default.
- W2215319235 cites W1797762004 @default.
- W2215319235 cites W1829244603 @default.
- W2215319235 cites W1847681899 @default.
- W2215319235 cites W1861462572 @default.
- W2215319235 cites W1913166775 @default.
- W2215319235 cites W1966345332 @default.
- W2215319235 cites W1967890297 @default.
- W2215319235 cites W1971388424 @default.
- W2215319235 cites W1975914482 @default.
- W2215319235 cites W1993524544 @default.
- W2215319235 cites W2002804719 @default.
- W2215319235 cites W2003295303 @default.
- W2215319235 cites W2005973420 @default.
- W2215319235 cites W2012419563 @default.
- W2215319235 cites W2015509025 @default.
- W2215319235 cites W2015529677 @default.
- W2215319235 cites W2020024606 @default.
- W2215319235 cites W2043100293 @default.
- W2215319235 cites W2043310309 @default.
- W2215319235 cites W2044553249 @default.
- W2215319235 cites W2050634022 @default.
- W2215319235 cites W2051600983 @default.
- W2215319235 cites W2052271830 @default.
- W2215319235 cites W2055814018 @default.
- W2215319235 cites W2060213695 @default.
- W2215319235 cites W2066550846 @default.
- W2215319235 cites W2068055184 @default.
- W2215319235 cites W2074756472 @default.
- W2215319235 cites W2076833152 @default.
- W2215319235 cites W2081893833 @default.
- W2215319235 cites W2082912235 @default.
- W2215319235 cites W2089171884 @default.
- W2215319235 cites W2089674328 @default.
- W2215319235 cites W2094243107 @default.
- W2215319235 cites W2097046319 @default.
- W2215319235 cites W2103837157 @default.
- W2215319235 cites W2113535112 @default.
- W2215319235 cites W2114178125 @default.
- W2215319235 cites W2115053371 @default.
- W2215319235 cites W2118172707 @default.
- W2215319235 cites W2118297067 @default.
- W2215319235 cites W2123200683 @default.
- W2215319235 cites W2131147011 @default.
- W2215319235 cites W2131819355 @default.
- W2215319235 cites W2135155734 @default.
- W2215319235 cites W2137797547 @default.
- W2215319235 cites W2139107688 @default.
- W2215319235 cites W2140183411 @default.
- W2215319235 cites W2141706154 @default.
- W2215319235 cites W2142530064 @default.
- W2215319235 cites W2142947709 @default.
- W2215319235 cites W2145529472 @default.
- W2215319235 cites W2147661183 @default.
- W2215319235 cites W2148403317 @default.
- W2215319235 cites W2150951483 @default.
- W2215319235 cites W2156500361 @default.
- W2215319235 cites W2156929691 @default.
- W2215319235 cites W2159638992 @default.
- W2215319235 cites W2160230158 @default.
- W2215319235 cites W2166237581 @default.
- W2215319235 cites W2170360634 @default.
- W2215319235 cites W2171496589 @default.
- W2215319235 cites W2181143427 @default.
- W2215319235 cites W2372570848 @default.
- W2215319235 cites W2611406955 @default.
- W2215319235 cites W2752853835 @default.
- W2215319235 cites W3145454088 @default.
- W2215319235 cites W3147851186 @default.
- W2215319235 cites W32108809 @default.
- W2215319235 cites W332995403 @default.
- W2215319235 cites W59298299 @default.
- W2215319235 cites W71757722 @default.
- W2215319235 cites W2801174385 @default.
- W2215319235 hasPublicationYear "2007" @default.
- W2215319235 type Work @default.
- W2215319235 sameAs 2215319235 @default.
- W2215319235 citedByCount "0" @default.
- W2215319235 crossrefType "journal-article" @default.
- W2215319235 hasAuthorship W2215319235A5044439407 @default.
- W2215319235 hasAuthorship W2215319235A5083606621 @default.