Matches in SemOpenAlex for { <https://semopenalex.org/work/W2019553601> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W2019553601 abstract "We define an inference system for modular strictness analysis of functional programs by extending a conjunctive strictness logic with polymorphic and conditional properties. This extended set of properties is used to define a syntax-directed, polymorphic strictness analysis based on polymorphic recursion whose soundness is established via a translation from the polymorphic system into the conjunctive system. From the polymorphic analysis, an inference algorithm based on constraint resolution is derived and shown complete for variant of the polymorphic analysis. The algorithm deduces at the same time a property and a set of hypotheses on the free variables of an expression which makes it suitable for analysis of program with module structure." @default.
- W2019553601 created "2016-06-24" @default.
- W2019553601 creator A5054819541 @default.
- W2019553601 date "1998-01-01" @default.
- W2019553601 modified "2023-09-25" @default.
- W2019553601 title "Inference of polymorphic and conditional strictness properties" @default.
- W2019553601 cites W139832361 @default.
- W2019553601 cites W1519142519 @default.
- W2019553601 cites W1581247796 @default.
- W2019553601 cites W1581551064 @default.
- W2019553601 cites W1603787713 @default.
- W2019553601 cites W1762020135 @default.
- W2019553601 cites W1826040061 @default.
- W2019553601 cites W1963954367 @default.
- W2019553601 cites W1976808561 @default.
- W2019553601 cites W1976958863 @default.
- W2019553601 cites W1986487716 @default.
- W2019553601 cites W2002649310 @default.
- W2019553601 cites W2016076634 @default.
- W2019553601 cites W2017720469 @default.
- W2019553601 cites W2018759403 @default.
- W2019553601 cites W2022443117 @default.
- W2019553601 cites W2025033165 @default.
- W2019553601 cites W2028147082 @default.
- W2019553601 cites W2043474776 @default.
- W2019553601 cites W2049596743 @default.
- W2019553601 cites W2056253254 @default.
- W2019553601 cites W2104890704 @default.
- W2019553601 cites W2107906877 @default.
- W2019553601 cites W2112920894 @default.
- W2019553601 cites W2123812977 @default.
- W2019553601 cites W2124523334 @default.
- W2019553601 cites W2154632906 @default.
- W2019553601 cites W2163976959 @default.
- W2019553601 doi "https://doi.org/10.1145/268946.268964" @default.
- W2019553601 hasPublicationYear "1998" @default.
- W2019553601 type Work @default.
- W2019553601 sameAs 2019553601 @default.
- W2019553601 citedByCount "23" @default.
- W2019553601 countsByYear W20195536012012 @default.
- W2019553601 countsByYear W20195536012013 @default.
- W2019553601 crossrefType "proceedings-article" @default.
- W2019553601 hasAuthorship W2019553601A5054819541 @default.
- W2019553601 hasConcept C101468663 @default.
- W2019553601 hasConcept C11413529 @default.
- W2019553601 hasConcept C154945302 @default.
- W2019553601 hasConcept C168773036 @default.
- W2019553601 hasConcept C177264268 @default.
- W2019553601 hasConcept C198370458 @default.
- W2019553601 hasConcept C199360897 @default.
- W2019553601 hasConcept C2524010 @default.
- W2019553601 hasConcept C2776036281 @default.
- W2019553601 hasConcept C2776214188 @default.
- W2019553601 hasConcept C33923547 @default.
- W2019553601 hasConcept C39920170 @default.
- W2019553601 hasConcept C41008148 @default.
- W2019553601 hasConcept C80444323 @default.
- W2019553601 hasConceptScore W2019553601C101468663 @default.
- W2019553601 hasConceptScore W2019553601C11413529 @default.
- W2019553601 hasConceptScore W2019553601C154945302 @default.
- W2019553601 hasConceptScore W2019553601C168773036 @default.
- W2019553601 hasConceptScore W2019553601C177264268 @default.
- W2019553601 hasConceptScore W2019553601C198370458 @default.
- W2019553601 hasConceptScore W2019553601C199360897 @default.
- W2019553601 hasConceptScore W2019553601C2524010 @default.
- W2019553601 hasConceptScore W2019553601C2776036281 @default.
- W2019553601 hasConceptScore W2019553601C2776214188 @default.
- W2019553601 hasConceptScore W2019553601C33923547 @default.
- W2019553601 hasConceptScore W2019553601C39920170 @default.
- W2019553601 hasConceptScore W2019553601C41008148 @default.
- W2019553601 hasConceptScore W2019553601C80444323 @default.
- W2019553601 hasLocation W20195536011 @default.
- W2019553601 hasOpenAccess W2019553601 @default.
- W2019553601 hasPrimaryLocation W20195536011 @default.
- W2019553601 hasRelatedWork W1971132411 @default.
- W2019553601 hasRelatedWork W2733168542 @default.
- W2019553601 hasRelatedWork W2798999509 @default.
- W2019553601 hasRelatedWork W2886025031 @default.
- W2019553601 hasRelatedWork W2964059082 @default.
- W2019553601 hasRelatedWork W3122287590 @default.
- W2019553601 hasRelatedWork W3161280170 @default.
- W2019553601 hasRelatedWork W4237428255 @default.
- W2019553601 hasRelatedWork W4251916054 @default.
- W2019553601 hasRelatedWork W4301844094 @default.
- W2019553601 isParatext "false" @default.
- W2019553601 isRetracted "false" @default.
- W2019553601 magId "2019553601" @default.
- W2019553601 workType "article" @default.