Matches in SemOpenAlex for { <https://semopenalex.org/work/W2152274232> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W2152274232 abstract "The Succinct Solver of Nielson and Seidl is based on the Alternation-free Least Fixed Point Logic and it is implemented in SML using a combination of recursion, continuations, prefix trees and memoisation. It is known that the actual formulation of the analysis has a great impact on the execution time of the solver and the aim of this note is to provide some insight into which formulations are better than others. The experiments addresses three general issues: (i) the order of the parameters of relations, (ii) the order of conjuncts in preconditions and (iii) the use of memoisation. The experiments are performed for Control Flow Analyses for Discretionary Ambients." @default.
- W2152274232 created "2016-06-24" @default.
- W2152274232 creator A5012948241 @default.
- W2152274232 creator A5066565480 @default.
- W2152274232 creator A5089639449 @default.
- W2152274232 date "2002-01-01" @default.
- W2152274232 modified "2023-09-26" @default.
- W2152274232 title "Experiments with Succinct Solvers" @default.
- W2152274232 cites W1496131527 @default.
- W2152274232 cites W1550132862 @default.
- W2152274232 cites W1552110479 @default.
- W2152274232 cites W1599366842 @default.
- W2152274232 cites W2040152339 @default.
- W2152274232 cites W2069437435 @default.
- W2152274232 cites W2086558155 @default.
- W2152274232 hasPublicationYear "2002" @default.
- W2152274232 type Work @default.
- W2152274232 sameAs 2152274232 @default.
- W2152274232 citedByCount "4" @default.
- W2152274232 crossrefType "journal-article" @default.
- W2152274232 hasAuthorship W2152274232A5012948241 @default.
- W2152274232 hasAuthorship W2152274232A5066565480 @default.
- W2152274232 hasAuthorship W2152274232A5089639449 @default.
- W2152274232 hasConcept C11413529 @default.
- W2152274232 hasConcept C138885662 @default.
- W2152274232 hasConcept C141603448 @default.
- W2152274232 hasConcept C153269930 @default.
- W2152274232 hasConcept C160191386 @default.
- W2152274232 hasConcept C164155591 @default.
- W2152274232 hasConcept C168773036 @default.
- W2152274232 hasConcept C199360897 @default.
- W2152274232 hasConcept C26826806 @default.
- W2152274232 hasConcept C2778770139 @default.
- W2152274232 hasConcept C33923547 @default.
- W2152274232 hasConcept C41008148 @default.
- W2152274232 hasConcept C41895202 @default.
- W2152274232 hasConcept C80444323 @default.
- W2152274232 hasConceptScore W2152274232C11413529 @default.
- W2152274232 hasConceptScore W2152274232C138885662 @default.
- W2152274232 hasConceptScore W2152274232C141603448 @default.
- W2152274232 hasConceptScore W2152274232C153269930 @default.
- W2152274232 hasConceptScore W2152274232C160191386 @default.
- W2152274232 hasConceptScore W2152274232C164155591 @default.
- W2152274232 hasConceptScore W2152274232C168773036 @default.
- W2152274232 hasConceptScore W2152274232C199360897 @default.
- W2152274232 hasConceptScore W2152274232C26826806 @default.
- W2152274232 hasConceptScore W2152274232C2778770139 @default.
- W2152274232 hasConceptScore W2152274232C33923547 @default.
- W2152274232 hasConceptScore W2152274232C41008148 @default.
- W2152274232 hasConceptScore W2152274232C41895202 @default.
- W2152274232 hasConceptScore W2152274232C80444323 @default.
- W2152274232 hasLocation W21522742321 @default.
- W2152274232 hasOpenAccess W2152274232 @default.
- W2152274232 hasPrimaryLocation W21522742321 @default.
- W2152274232 hasRelatedWork W118414401 @default.
- W2152274232 hasRelatedWork W1487997876 @default.
- W2152274232 hasRelatedWork W1504786175 @default.
- W2152274232 hasRelatedWork W1546151255 @default.
- W2152274232 hasRelatedWork W1553894716 @default.
- W2152274232 hasRelatedWork W1750902280 @default.
- W2152274232 hasRelatedWork W1982084917 @default.
- W2152274232 hasRelatedWork W1993806428 @default.
- W2152274232 hasRelatedWork W2053374681 @default.
- W2152274232 hasRelatedWork W2059889705 @default.
- W2152274232 hasRelatedWork W2076917820 @default.
- W2152274232 hasRelatedWork W2080915927 @default.
- W2152274232 hasRelatedWork W2081321516 @default.
- W2152274232 hasRelatedWork W2360421531 @default.
- W2152274232 hasRelatedWork W2479932765 @default.
- W2152274232 hasRelatedWork W2533768374 @default.
- W2152274232 hasRelatedWork W2912646893 @default.
- W2152274232 hasRelatedWork W3131233784 @default.
- W2152274232 hasRelatedWork W2271533482 @default.
- W2152274232 hasRelatedWork W2615731728 @default.
- W2152274232 isParatext "false" @default.
- W2152274232 isRetracted "false" @default.
- W2152274232 magId "2152274232" @default.
- W2152274232 workType "article" @default.