Matches in SemOpenAlex for { <https://semopenalex.org/work/W2003295303> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W2003295303 endingPage "539" @default.
- W2003295303 startingPage "528" @default.
- W2003295303 abstract "One means of analyzing program performance is by deriving closed-form expressions for their execution behavior. This paper discusses the mechanization of such analysis, and describes a system, Metric, which is able to analyze simple Lisp programs and produce, for example, closed-form expressions for their running time expressed in terms of size of input. This paper presents the reasons for mechanizing program analysis, describes the operation of Metric, explains its implementation, and discusses its limitations." @default.
- W2003295303 created "2016-06-24" @default.
- W2003295303 creator A5024885049 @default.
- W2003295303 date "1975-09-01" @default.
- W2003295303 modified "2023-09-29" @default.
- W2003295303 title "Mechanical program analysis" @default.
- W2003295303 cites W1987288274 @default.
- W2003295303 cites W1991865448 @default.
- W2003295303 cites W2023880866 @default.
- W2003295303 cites W2037237472 @default.
- W2003295303 cites W2037472568 @default.
- W2003295303 cites W2045255985 @default.
- W2003295303 cites W2076370064 @default.
- W2003295303 cites W2092492242 @default.
- W2003295303 cites W2162177141 @default.
- W2003295303 doi "https://doi.org/10.1145/361002.361016" @default.
- W2003295303 hasPublicationYear "1975" @default.
- W2003295303 type Work @default.
- W2003295303 sameAs 2003295303 @default.
- W2003295303 citedByCount "275" @default.
- W2003295303 countsByYear W20032953032012 @default.
- W2003295303 countsByYear W20032953032013 @default.
- W2003295303 countsByYear W20032953032014 @default.
- W2003295303 countsByYear W20032953032015 @default.
- W2003295303 countsByYear W20032953032016 @default.
- W2003295303 countsByYear W20032953032017 @default.
- W2003295303 countsByYear W20032953032018 @default.
- W2003295303 countsByYear W20032953032019 @default.
- W2003295303 countsByYear W20032953032020 @default.
- W2003295303 countsByYear W20032953032021 @default.
- W2003295303 countsByYear W20032953032022 @default.
- W2003295303 countsByYear W20032953032023 @default.
- W2003295303 crossrefType "journal-article" @default.
- W2003295303 hasAuthorship W2003295303A5024885049 @default.
- W2003295303 hasBestOaLocation W20032953031 @default.
- W2003295303 hasConcept C111472728 @default.
- W2003295303 hasConcept C127413603 @default.
- W2003295303 hasConcept C138885662 @default.
- W2003295303 hasConcept C176217482 @default.
- W2003295303 hasConcept C190883126 @default.
- W2003295303 hasConcept C199360897 @default.
- W2003295303 hasConcept C21547014 @default.
- W2003295303 hasConcept C2780586882 @default.
- W2003295303 hasConcept C41008148 @default.
- W2003295303 hasConcept C98183937 @default.
- W2003295303 hasConceptScore W2003295303C111472728 @default.
- W2003295303 hasConceptScore W2003295303C127413603 @default.
- W2003295303 hasConceptScore W2003295303C138885662 @default.
- W2003295303 hasConceptScore W2003295303C176217482 @default.
- W2003295303 hasConceptScore W2003295303C190883126 @default.
- W2003295303 hasConceptScore W2003295303C199360897 @default.
- W2003295303 hasConceptScore W2003295303C21547014 @default.
- W2003295303 hasConceptScore W2003295303C2780586882 @default.
- W2003295303 hasConceptScore W2003295303C41008148 @default.
- W2003295303 hasConceptScore W2003295303C98183937 @default.
- W2003295303 hasIssue "9" @default.
- W2003295303 hasLocation W20032953031 @default.
- W2003295303 hasOpenAccess W2003295303 @default.
- W2003295303 hasPrimaryLocation W20032953031 @default.
- W2003295303 hasRelatedWork W1499795143 @default.
- W2003295303 hasRelatedWork W1528423264 @default.
- W2003295303 hasRelatedWork W1548358088 @default.
- W2003295303 hasRelatedWork W1598276450 @default.
- W2003295303 hasRelatedWork W2028766178 @default.
- W2003295303 hasRelatedWork W2112962394 @default.
- W2003295303 hasRelatedWork W2171153670 @default.
- W2003295303 hasRelatedWork W2172022734 @default.
- W2003295303 hasRelatedWork W2607262752 @default.
- W2003295303 hasRelatedWork W2082680693 @default.
- W2003295303 hasVolume "18" @default.
- W2003295303 isParatext "false" @default.
- W2003295303 isRetracted "false" @default.
- W2003295303 magId "2003295303" @default.
- W2003295303 workType "article" @default.