Matches in SemOpenAlex for { <https://semopenalex.org/work/W1595093485> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W1595093485 endingPage "292" @default.
- W1595093485 startingPage "278" @default.
- W1595093485 abstract "We present several new static analysis frameworks applying to rational numbers, and more precisely, designed for discovering congruence properties satisfied by rational (or real) variables of programs. Two of them deal with additive congruence properties and generalize linear equation analysis [12] and congruence analyses on integer numbers [8, 9]. The others are based on multiplicative congruence properties in the set of positive rational numbers. Among other potential applications, we exemplify the interest of all these analyses for optimizing the representation of rational or real valued variables." @default.
- W1595093485 created "2016-06-24" @default.
- W1595093485 creator A5072099409 @default.
- W1595093485 date "1997-01-01" @default.
- W1595093485 modified "2023-09-23" @default.
- W1595093485 title "Static analyses of congruence properties on rational numbers (extended abstract)" @default.
- W1595093485 cites W1512248102 @default.
- W1595093485 cites W1526619182 @default.
- W1595093485 cites W1567887689 @default.
- W1595093485 cites W1726736548 @default.
- W1595093485 cites W1997456729 @default.
- W1595093485 cites W2014764321 @default.
- W1595093485 cites W2015894008 @default.
- W1595093485 cites W2031373197 @default.
- W1595093485 cites W2043100293 @default.
- W1595093485 cites W2124153277 @default.
- W1595093485 cites W2132661148 @default.
- W1595093485 cites W2135697103 @default.
- W1595093485 cites W2135736783 @default.
- W1595093485 cites W383327177 @default.
- W1595093485 doi "https://doi.org/10.1007/bfb0032748" @default.
- W1595093485 hasPublicationYear "1997" @default.
- W1595093485 type Work @default.
- W1595093485 sameAs 1595093485 @default.
- W1595093485 citedByCount "13" @default.
- W1595093485 countsByYear W15950934852012 @default.
- W1595093485 countsByYear W15950934852013 @default.
- W1595093485 countsByYear W15950934852017 @default.
- W1595093485 crossrefType "book-chapter" @default.
- W1595093485 hasAuthorship W1595093485A5072099409 @default.
- W1595093485 hasConcept C118615104 @default.
- W1595093485 hasConcept C132074034 @default.
- W1595093485 hasConcept C134306372 @default.
- W1595093485 hasConcept C17744445 @default.
- W1595093485 hasConcept C199360897 @default.
- W1595093485 hasConcept C199539241 @default.
- W1595093485 hasConcept C2524010 @default.
- W1595093485 hasConcept C2776359362 @default.
- W1595093485 hasConcept C33923547 @default.
- W1595093485 hasConcept C41008148 @default.
- W1595093485 hasConcept C42747912 @default.
- W1595093485 hasConcept C46875033 @default.
- W1595093485 hasConcept C94625758 @default.
- W1595093485 hasConcept C97137487 @default.
- W1595093485 hasConceptScore W1595093485C118615104 @default.
- W1595093485 hasConceptScore W1595093485C132074034 @default.
- W1595093485 hasConceptScore W1595093485C134306372 @default.
- W1595093485 hasConceptScore W1595093485C17744445 @default.
- W1595093485 hasConceptScore W1595093485C199360897 @default.
- W1595093485 hasConceptScore W1595093485C199539241 @default.
- W1595093485 hasConceptScore W1595093485C2524010 @default.
- W1595093485 hasConceptScore W1595093485C2776359362 @default.
- W1595093485 hasConceptScore W1595093485C33923547 @default.
- W1595093485 hasConceptScore W1595093485C41008148 @default.
- W1595093485 hasConceptScore W1595093485C42747912 @default.
- W1595093485 hasConceptScore W1595093485C46875033 @default.
- W1595093485 hasConceptScore W1595093485C94625758 @default.
- W1595093485 hasConceptScore W1595093485C97137487 @default.
- W1595093485 hasLocation W15950934851 @default.
- W1595093485 hasOpenAccess W1595093485 @default.
- W1595093485 hasPrimaryLocation W15950934851 @default.
- W1595093485 hasRelatedWork W2007497792 @default.
- W1595093485 hasRelatedWork W2038265252 @default.
- W1595093485 hasRelatedWork W2045447888 @default.
- W1595093485 hasRelatedWork W2070031639 @default.
- W1595093485 hasRelatedWork W2249555597 @default.
- W1595093485 hasRelatedWork W2271889716 @default.
- W1595093485 hasRelatedWork W4210614758 @default.
- W1595093485 hasRelatedWork W4298313930 @default.
- W1595093485 hasRelatedWork W4300488312 @default.
- W1595093485 hasRelatedWork W2244843980 @default.
- W1595093485 isParatext "false" @default.
- W1595093485 isRetracted "false" @default.
- W1595093485 magId "1595093485" @default.
- W1595093485 workType "book-chapter" @default.