Matches in SemOpenAlex for { <https://semopenalex.org/work/W2528057730> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W2528057730 endingPage "4154" @default.
- W2528057730 startingPage "4150" @default.
- W2528057730 abstract "One can prove that a program satisfies a correctness property in different ways. The deductive approach uses logic and is automated using decision procedures and proof assistants. The automata-theoretic approach reduces questions about programs to algorithmic questions about automata. In the abstract interpretation approach, programs and their properties are expressed in terms of fixed points in lattices and reasoning uses fixed point approximation techniques. We describe a research programme to establish precise, mathematical correspondences between these approaches and to develop new analyzers using these results. The theoretical tools we use are the theorems of Buchi that relate automata and logic and a construction of Lindenbaum and Tarski for generating lattices from logics. This research has lead to improvements in existing tools and we anticipate further theoretical and practical consequences." @default.
- W2528057730 created "2016-10-14" @default.
- W2528057730 creator A5054947709 @default.
- W2528057730 creator A5077439185 @default.
- W2528057730 date "2016-07-09" @default.
- W2528057730 modified "2023-09-26" @default.
- W2528057730 title "Büchi, Lindenbaum, Tarski: a program analysis appetizer" @default.
- W2528057730 cites W1025122386 @default.
- W2528057730 cites W125598877 @default.
- W2528057730 cites W1424885608 @default.
- W2528057730 cites W1480405493 @default.
- W2528057730 cites W1585380779 @default.
- W2528057730 cites W2023660966 @default.
- W2528057730 cites W2043100293 @default.
- W2528057730 cites W2138856440 @default.
- W2528057730 cites W2913459036 @default.
- W2528057730 cites W3180905706 @default.
- W2528057730 hasPublicationYear "2016" @default.
- W2528057730 type Work @default.
- W2528057730 sameAs 2528057730 @default.
- W2528057730 citedByCount "0" @default.
- W2528057730 crossrefType "proceedings-article" @default.
- W2528057730 hasAuthorship W2528057730A5054947709 @default.
- W2528057730 hasAuthorship W2528057730A5077439185 @default.
- W2528057730 hasConcept C111472728 @default.
- W2528057730 hasConcept C112505250 @default.
- W2528057730 hasConcept C11413529 @default.
- W2528057730 hasConcept C136119220 @default.
- W2528057730 hasConcept C138885662 @default.
- W2528057730 hasConcept C165753454 @default.
- W2528057730 hasConcept C189950617 @default.
- W2528057730 hasConcept C194525867 @default.
- W2528057730 hasConcept C199360897 @default.
- W2528057730 hasConcept C202444582 @default.
- W2528057730 hasConcept C2524010 @default.
- W2528057730 hasConcept C2780654840 @default.
- W2528057730 hasConcept C28719098 @default.
- W2528057730 hasConcept C33923547 @default.
- W2528057730 hasConcept C41008148 @default.
- W2528057730 hasConcept C527412718 @default.
- W2528057730 hasConcept C55439883 @default.
- W2528057730 hasConcept C80444323 @default.
- W2528057730 hasConceptScore W2528057730C111472728 @default.
- W2528057730 hasConceptScore W2528057730C112505250 @default.
- W2528057730 hasConceptScore W2528057730C11413529 @default.
- W2528057730 hasConceptScore W2528057730C136119220 @default.
- W2528057730 hasConceptScore W2528057730C138885662 @default.
- W2528057730 hasConceptScore W2528057730C165753454 @default.
- W2528057730 hasConceptScore W2528057730C189950617 @default.
- W2528057730 hasConceptScore W2528057730C194525867 @default.
- W2528057730 hasConceptScore W2528057730C199360897 @default.
- W2528057730 hasConceptScore W2528057730C202444582 @default.
- W2528057730 hasConceptScore W2528057730C2524010 @default.
- W2528057730 hasConceptScore W2528057730C2780654840 @default.
- W2528057730 hasConceptScore W2528057730C28719098 @default.
- W2528057730 hasConceptScore W2528057730C33923547 @default.
- W2528057730 hasConceptScore W2528057730C41008148 @default.
- W2528057730 hasConceptScore W2528057730C527412718 @default.
- W2528057730 hasConceptScore W2528057730C55439883 @default.
- W2528057730 hasConceptScore W2528057730C80444323 @default.
- W2528057730 hasLocation W25280577301 @default.
- W2528057730 hasOpenAccess W2528057730 @default.
- W2528057730 hasPrimaryLocation W25280577301 @default.
- W2528057730 hasRelatedWork W1034242088 @default.
- W2528057730 hasRelatedWork W111239255 @default.
- W2528057730 hasRelatedWork W1494407280 @default.
- W2528057730 hasRelatedWork W1494663138 @default.
- W2528057730 hasRelatedWork W1549880792 @default.
- W2528057730 hasRelatedWork W1574935479 @default.
- W2528057730 hasRelatedWork W1604876488 @default.
- W2528057730 hasRelatedWork W2032680966 @default.
- W2528057730 hasRelatedWork W2037677880 @default.
- W2528057730 hasRelatedWork W2133430687 @default.
- W2528057730 hasRelatedWork W2134476918 @default.
- W2528057730 hasRelatedWork W2218931105 @default.
- W2528057730 hasRelatedWork W2230407200 @default.
- W2528057730 hasRelatedWork W2264209468 @default.
- W2528057730 hasRelatedWork W2414648896 @default.
- W2528057730 hasRelatedWork W2494123147 @default.
- W2528057730 hasRelatedWork W2943553270 @default.
- W2528057730 hasRelatedWork W3104326986 @default.
- W2528057730 hasRelatedWork W80817093 @default.
- W2528057730 hasRelatedWork W349922720 @default.
- W2528057730 isParatext "false" @default.
- W2528057730 isRetracted "false" @default.
- W2528057730 magId "2528057730" @default.
- W2528057730 workType "article" @default.