Matches in SemOpenAlex for { <https://semopenalex.org/work/W1522615192> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W1522615192 endingPage "179" @default.
- W1522615192 startingPage "163" @default.
- W1522615192 abstract "We present a loop property generation method for loops iterating over multi-dimensional arrays. When used on matrices, our method is able to infer their shapes (also called types), such as upper-triangular, diagonal, etc. To generate loop properties, we first transform a nested loop iterating over a multi-dimensional array into an equivalent collection of unnested loops. Then, we infer quantified loop invariants for each unnested loop using a generalization of a recurrence-based invariant generation technique. These loop invariants give us conditions on matrices from which we can derive matrix types automatically using theorem provers. Invariant generation is implemented in the software package Aligator and types are derived by theorem provers and SMT solvers, including Vampire and Z3. When run on the Java matrix package JAMA, our tool was able to infer automatically all matrix types describing the matrix shapes guaranteed by JAMA’s API." @default.
- W1522615192 created "2016-06-24" @default.
- W1522615192 creator A5054629753 @default.
- W1522615192 creator A5071158512 @default.
- W1522615192 creator A5072656587 @default.
- W1522615192 creator A5080555605 @default.
- W1522615192 date "2010-01-01" @default.
- W1522615192 modified "2023-10-02" @default.
- W1522615192 title "Invariant and Type Inference for Matrices" @default.
- W1522615192 cites W1480909796 @default.
- W1522615192 cites W1503677488 @default.
- W1522615192 cites W1517192598 @default.
- W1522615192 cites W1557130751 @default.
- W1522615192 cites W1560876797 @default.
- W1522615192 cites W1573992413 @default.
- W1522615192 cites W1577276830 @default.
- W1522615192 cites W1585981132 @default.
- W1522615192 cites W1711276981 @default.
- W1522615192 cites W171295454 @default.
- W1522615192 cites W1971043610 @default.
- W1522615192 cites W2003141394 @default.
- W1522615192 cites W2004746351 @default.
- W1522615192 cites W2066210260 @default.
- W1522615192 cites W2106661290 @default.
- W1522615192 cites W26338302 @default.
- W1522615192 cites W3003421191 @default.
- W1522615192 cites W3017130541 @default.
- W1522615192 cites W3019119050 @default.
- W1522615192 cites W3020568625 @default.
- W1522615192 cites W3033487978 @default.
- W1522615192 cites W3147662708 @default.
- W1522615192 cites W4246575101 @default.
- W1522615192 doi "https://doi.org/10.1007/978-3-642-11319-2_14" @default.
- W1522615192 hasPublicationYear "2010" @default.
- W1522615192 type Work @default.
- W1522615192 sameAs 1522615192 @default.
- W1522615192 citedByCount "17" @default.
- W1522615192 countsByYear W15226151922014 @default.
- W1522615192 countsByYear W15226151922015 @default.
- W1522615192 countsByYear W15226151922016 @default.
- W1522615192 countsByYear W15226151922018 @default.
- W1522615192 countsByYear W15226151922023 @default.
- W1522615192 crossrefType "book-chapter" @default.
- W1522615192 hasAuthorship W1522615192A5054629753 @default.
- W1522615192 hasAuthorship W1522615192A5071158512 @default.
- W1522615192 hasAuthorship W1522615192A5072656587 @default.
- W1522615192 hasAuthorship W1522615192A5080555605 @default.
- W1522615192 hasConcept C106487976 @default.
- W1522615192 hasConcept C113313756 @default.
- W1522615192 hasConcept C11413529 @default.
- W1522615192 hasConcept C114614502 @default.
- W1522615192 hasConcept C130367717 @default.
- W1522615192 hasConcept C134306372 @default.
- W1522615192 hasConcept C154945302 @default.
- W1522615192 hasConcept C159985019 @default.
- W1522615192 hasConcept C177148314 @default.
- W1522615192 hasConcept C184670325 @default.
- W1522615192 hasConcept C190470478 @default.
- W1522615192 hasConcept C192562407 @default.
- W1522615192 hasConcept C2524010 @default.
- W1522615192 hasConcept C2776214188 @default.
- W1522615192 hasConcept C33923547 @default.
- W1522615192 hasConcept C37914503 @default.
- W1522615192 hasConcept C41008148 @default.
- W1522615192 hasConceptScore W1522615192C106487976 @default.
- W1522615192 hasConceptScore W1522615192C113313756 @default.
- W1522615192 hasConceptScore W1522615192C11413529 @default.
- W1522615192 hasConceptScore W1522615192C114614502 @default.
- W1522615192 hasConceptScore W1522615192C130367717 @default.
- W1522615192 hasConceptScore W1522615192C134306372 @default.
- W1522615192 hasConceptScore W1522615192C154945302 @default.
- W1522615192 hasConceptScore W1522615192C159985019 @default.
- W1522615192 hasConceptScore W1522615192C177148314 @default.
- W1522615192 hasConceptScore W1522615192C184670325 @default.
- W1522615192 hasConceptScore W1522615192C190470478 @default.
- W1522615192 hasConceptScore W1522615192C192562407 @default.
- W1522615192 hasConceptScore W1522615192C2524010 @default.
- W1522615192 hasConceptScore W1522615192C2776214188 @default.
- W1522615192 hasConceptScore W1522615192C33923547 @default.
- W1522615192 hasConceptScore W1522615192C37914503 @default.
- W1522615192 hasConceptScore W1522615192C41008148 @default.
- W1522615192 hasLocation W15226151921 @default.
- W1522615192 hasOpenAccess W1522615192 @default.
- W1522615192 hasPrimaryLocation W15226151921 @default.
- W1522615192 hasRelatedWork W1516708947 @default.
- W1522615192 hasRelatedWork W1979210850 @default.
- W1522615192 hasRelatedWork W2323013444 @default.
- W1522615192 hasRelatedWork W2330333053 @default.
- W1522615192 hasRelatedWork W2348046789 @default.
- W1522615192 hasRelatedWork W2349620591 @default.
- W1522615192 hasRelatedWork W351236607 @default.
- W1522615192 hasRelatedWork W60641320 @default.
- W1522615192 hasRelatedWork W823542132 @default.
- W1522615192 hasRelatedWork W1561236277 @default.
- W1522615192 isParatext "false" @default.
- W1522615192 isRetracted "false" @default.
- W1522615192 magId "1522615192" @default.
- W1522615192 workType "book-chapter" @default.