Matches in SemOpenAlex for { <https://semopenalex.org/work/W291672426> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W291672426 abstract "This paper presents a type analysis for the programming language Erlang. The analysis computes interprocedural control-flow and data-flow information, and should be applicable to any higher-order functional programming language with call-by-value semantics. The analysis uses a novel method for polyvariance, static limiting, where an approximation of the call graph is analyzed to determine whether a function should be treated as polyvariant or monovariant. A general framework for polyvariant analysis is presented. This framework is used for experimental investigations to evaluate the cost and potential benefits of polyvariant analysis and to compare different approaches to polyvariant analysis. The experimental results show that static limiting gives the same or better precision as the other polyvariant analyses, while having more predictable analysis times. However, the experiments show only small improvements in precision for the various polyvariant analyses." @default.
- W291672426 created "2016-06-24" @default.
- W291672426 creator A5014851882 @default.
- W291672426 date "2003-01-01" @default.
- W291672426 modified "2023-09-26" @default.
- W291672426 title "A Polyvariant Type Analysis for Erlang" @default.
- W291672426 cites W148396834 @default.
- W291672426 cites W1511466363 @default.
- W291672426 cites W1641025018 @default.
- W291672426 cites W1734116059 @default.
- W291672426 cites W1975514564 @default.
- W291672426 cites W1986693746 @default.
- W291672426 cites W2002866920 @default.
- W291672426 cites W2003786919 @default.
- W291672426 cites W2057085278 @default.
- W291672426 cites W2095115578 @default.
- W291672426 cites W2102389857 @default.
- W291672426 cites W2131135493 @default.
- W291672426 cites W2151360539 @default.
- W291672426 cites W2156549049 @default.
- W291672426 cites W2293770661 @default.
- W291672426 cites W89731140 @default.
- W291672426 hasPublicationYear "2003" @default.
- W291672426 type Work @default.
- W291672426 sameAs 291672426 @default.
- W291672426 citedByCount "0" @default.
- W291672426 crossrefType "journal-article" @default.
- W291672426 hasAuthorship W291672426A5014851882 @default.
- W291672426 hasConcept C11413529 @default.
- W291672426 hasConcept C127413603 @default.
- W291672426 hasConcept C150762246 @default.
- W291672426 hasConcept C176359209 @default.
- W291672426 hasConcept C188198153 @default.
- W291672426 hasConcept C199360897 @default.
- W291672426 hasConcept C27458966 @default.
- W291672426 hasConcept C2780654840 @default.
- W291672426 hasConcept C34165917 @default.
- W291672426 hasConcept C41008148 @default.
- W291672426 hasConcept C42383842 @default.
- W291672426 hasConcept C489000 @default.
- W291672426 hasConcept C50033165 @default.
- W291672426 hasConcept C77088390 @default.
- W291672426 hasConcept C78519656 @default.
- W291672426 hasConcept C82484044 @default.
- W291672426 hasConcept C88468194 @default.
- W291672426 hasConcept C97686452 @default.
- W291672426 hasConcept C98183937 @default.
- W291672426 hasConceptScore W291672426C11413529 @default.
- W291672426 hasConceptScore W291672426C127413603 @default.
- W291672426 hasConceptScore W291672426C150762246 @default.
- W291672426 hasConceptScore W291672426C176359209 @default.
- W291672426 hasConceptScore W291672426C188198153 @default.
- W291672426 hasConceptScore W291672426C199360897 @default.
- W291672426 hasConceptScore W291672426C27458966 @default.
- W291672426 hasConceptScore W291672426C2780654840 @default.
- W291672426 hasConceptScore W291672426C34165917 @default.
- W291672426 hasConceptScore W291672426C41008148 @default.
- W291672426 hasConceptScore W291672426C42383842 @default.
- W291672426 hasConceptScore W291672426C489000 @default.
- W291672426 hasConceptScore W291672426C50033165 @default.
- W291672426 hasConceptScore W291672426C77088390 @default.
- W291672426 hasConceptScore W291672426C78519656 @default.
- W291672426 hasConceptScore W291672426C82484044 @default.
- W291672426 hasConceptScore W291672426C88468194 @default.
- W291672426 hasConceptScore W291672426C97686452 @default.
- W291672426 hasConceptScore W291672426C98183937 @default.
- W291672426 hasLocation W2916724261 @default.
- W291672426 hasOpenAccess W291672426 @default.
- W291672426 hasPrimaryLocation W2916724261 @default.
- W291672426 hasRelatedWork W1494687202 @default.
- W291672426 hasRelatedWork W1521430251 @default.
- W291672426 hasRelatedWork W1527581944 @default.
- W291672426 hasRelatedWork W1538391492 @default.
- W291672426 hasRelatedWork W1544629082 @default.
- W291672426 hasRelatedWork W1545615987 @default.
- W291672426 hasRelatedWork W1977401936 @default.
- W291672426 hasRelatedWork W1998646634 @default.
- W291672426 hasRelatedWork W2003786919 @default.
- W291672426 hasRelatedWork W2017517899 @default.
- W291672426 hasRelatedWork W20740513 @default.
- W291672426 hasRelatedWork W2103326816 @default.
- W291672426 hasRelatedWork W2169953045 @default.
- W291672426 hasRelatedWork W2520089364 @default.
- W291672426 hasRelatedWork W3033644507 @default.
- W291672426 hasRelatedWork W3100777132 @default.
- W291672426 hasRelatedWork W3136184307 @default.
- W291672426 hasRelatedWork W1550786523 @default.
- W291672426 hasRelatedWork W1567572167 @default.
- W291672426 hasRelatedWork W2860706540 @default.
- W291672426 isParatext "false" @default.
- W291672426 isRetracted "false" @default.
- W291672426 magId "291672426" @default.
- W291672426 workType "article" @default.