Matches in SemOpenAlex for { <https://semopenalex.org/work/W1585194019> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W1585194019 endingPage "1361" @default.
- W1585194019 startingPage "1349" @default.
- W1585194019 abstract "Although every terminating loop has a ranking function, not every loop has a ranking function of a restricted form, such as a lexicographic tuple of polynomials over program variables. The polyranking principle is proposed as a generalization of polynomial ranking for analyzing termination of loops. We define lexicographic polyranking functions in the context of loops with parallel transitions consisting of polynomial assertions, including inequalities, over primed and unprimed variables. Next, we address synthesis of these functions with a complete and automatic method for synthesizing lexicographic linear polyranking functions with supporting linear invariants over linear loops." @default.
- W1585194019 created "2016-06-24" @default.
- W1585194019 creator A5034436241 @default.
- W1585194019 creator A5036270285 @default.
- W1585194019 creator A5058348937 @default.
- W1585194019 date "2005-01-01" @default.
- W1585194019 modified "2023-10-17" @default.
- W1585194019 title "The Polyranking Principle" @default.
- W1585194019 cites W1505135855 @default.
- W1585194019 cites W1506815291 @default.
- W1585194019 cites W1530375435 @default.
- W1585194019 cites W1541144457 @default.
- W1585194019 cites W1575647584 @default.
- W1585194019 cites W1593745409 @default.
- W1585194019 cites W1608799719 @default.
- W1585194019 cites W1699259381 @default.
- W1585194019 cites W1834328158 @default.
- W1585194019 cites W1993129359 @default.
- W1585194019 cites W2136333450 @default.
- W1585194019 cites W4248689402 @default.
- W1585194019 doi "https://doi.org/10.1007/11523468_109" @default.
- W1585194019 hasPublicationYear "2005" @default.
- W1585194019 type Work @default.
- W1585194019 sameAs 1585194019 @default.
- W1585194019 citedByCount "116" @default.
- W1585194019 countsByYear W15851940192012 @default.
- W1585194019 countsByYear W15851940192013 @default.
- W1585194019 countsByYear W15851940192014 @default.
- W1585194019 countsByYear W15851940192015 @default.
- W1585194019 countsByYear W15851940192016 @default.
- W1585194019 countsByYear W15851940192017 @default.
- W1585194019 countsByYear W15851940192018 @default.
- W1585194019 countsByYear W15851940192019 @default.
- W1585194019 countsByYear W15851940192020 @default.
- W1585194019 countsByYear W15851940192021 @default.
- W1585194019 countsByYear W15851940192022 @default.
- W1585194019 crossrefType "book-chapter" @default.
- W1585194019 hasAuthorship W1585194019A5034436241 @default.
- W1585194019 hasAuthorship W1585194019A5036270285 @default.
- W1585194019 hasAuthorship W1585194019A5058348937 @default.
- W1585194019 hasConcept C11413529 @default.
- W1585194019 hasConcept C114614502 @default.
- W1585194019 hasConcept C118615104 @default.
- W1585194019 hasConcept C118930307 @default.
- W1585194019 hasConcept C134306372 @default.
- W1585194019 hasConcept C136119220 @default.
- W1585194019 hasConcept C151730666 @default.
- W1585194019 hasConcept C154945302 @default.
- W1585194019 hasConcept C159254197 @default.
- W1585194019 hasConcept C177148314 @default.
- W1585194019 hasConcept C189430467 @default.
- W1585194019 hasConcept C202444582 @default.
- W1585194019 hasConcept C2779343474 @default.
- W1585194019 hasConcept C33923547 @default.
- W1585194019 hasConcept C41008148 @default.
- W1585194019 hasConcept C86803240 @default.
- W1585194019 hasConcept C90119067 @default.
- W1585194019 hasConceptScore W1585194019C11413529 @default.
- W1585194019 hasConceptScore W1585194019C114614502 @default.
- W1585194019 hasConceptScore W1585194019C118615104 @default.
- W1585194019 hasConceptScore W1585194019C118930307 @default.
- W1585194019 hasConceptScore W1585194019C134306372 @default.
- W1585194019 hasConceptScore W1585194019C136119220 @default.
- W1585194019 hasConceptScore W1585194019C151730666 @default.
- W1585194019 hasConceptScore W1585194019C154945302 @default.
- W1585194019 hasConceptScore W1585194019C159254197 @default.
- W1585194019 hasConceptScore W1585194019C177148314 @default.
- W1585194019 hasConceptScore W1585194019C189430467 @default.
- W1585194019 hasConceptScore W1585194019C202444582 @default.
- W1585194019 hasConceptScore W1585194019C2779343474 @default.
- W1585194019 hasConceptScore W1585194019C33923547 @default.
- W1585194019 hasConceptScore W1585194019C41008148 @default.
- W1585194019 hasConceptScore W1585194019C86803240 @default.
- W1585194019 hasConceptScore W1585194019C90119067 @default.
- W1585194019 hasLocation W15851940191 @default.
- W1585194019 hasOpenAccess W1585194019 @default.
- W1585194019 hasPrimaryLocation W15851940191 @default.
- W1585194019 hasRelatedWork W1577976412 @default.
- W1585194019 hasRelatedWork W1588925719 @default.
- W1585194019 hasRelatedWork W1965102163 @default.
- W1585194019 hasRelatedWork W2009976334 @default.
- W1585194019 hasRelatedWork W2089001936 @default.
- W1585194019 hasRelatedWork W2950440990 @default.
- W1585194019 hasRelatedWork W3210272485 @default.
- W1585194019 hasRelatedWork W4285787285 @default.
- W1585194019 hasRelatedWork W4321439950 @default.
- W1585194019 hasRelatedWork W2115972870 @default.
- W1585194019 isParatext "false" @default.
- W1585194019 isRetracted "false" @default.
- W1585194019 magId "1585194019" @default.
- W1585194019 workType "book-chapter" @default.