Matches in SemOpenAlex for { <https://semopenalex.org/work/W170501529> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W170501529 abstract "We present a verification environment for imperative pro- grams (using Hoare logic) and for functional programs (using fixpoint theory) in the frame of the Theorema system (www.theorema.org). In particular, we discuss some methods for finding the invariants of loops and of specifications of auxiliary tail recursive functions. These meth- ods use algorithms from (polynomial) algebra and combinatorics, namely Groebner bases, variable elimination and symbolic summation (the Gosper algorithm, the technique of generating functions). The techniques are demonstrated on several examples which have been treated automati- cally by our implementation. AMS Subject Classification: 33F10, 65G20, 68N30, 68Q60, 68W30" @default.
- W170501529 created "2016-06-24" @default.
- W170501529 creator A5021113261 @default.
- W170501529 date "2005-01-01" @default.
- W170501529 modified "2023-09-26" @default.
- W170501529 title "A Verification Environment for Imperative and Functional Programs in the Theorema system" @default.
- W170501529 cites W1521505629 @default.
- W170501529 cites W1545091652 @default.
- W170501529 cites W1556247398 @default.
- W170501529 cites W1558198085 @default.
- W170501529 cites W1579433101 @default.
- W170501529 cites W1599897266 @default.
- W170501529 cites W1738704815 @default.
- W170501529 cites W186716365 @default.
- W170501529 cites W1920048997 @default.
- W170501529 cites W1967845657 @default.
- W170501529 cites W2004865374 @default.
- W170501529 cites W2009069311 @default.
- W170501529 cites W2019367635 @default.
- W170501529 cites W2045437741 @default.
- W170501529 cites W2065534115 @default.
- W170501529 cites W2069300761 @default.
- W170501529 cites W2096035734 @default.
- W170501529 cites W2098045685 @default.
- W170501529 cites W2103953153 @default.
- W170501529 cites W2153531485 @default.
- W170501529 cites W2752853835 @default.
- W170501529 cites W2987907651 @default.
- W170501529 cites W3146075203 @default.
- W170501529 cites W49360353 @default.
- W170501529 cites W98039524 @default.
- W170501529 hasPublicationYear "2005" @default.
- W170501529 type Work @default.
- W170501529 sameAs 170501529 @default.
- W170501529 citedByCount "0" @default.
- W170501529 crossrefType "journal-article" @default.
- W170501529 hasAuthorship W170501529A5021113261 @default.
- W170501529 hasConcept C110812573 @default.
- W170501529 hasConcept C11413529 @default.
- W170501529 hasConcept C126042441 @default.
- W170501529 hasConcept C134306372 @default.
- W170501529 hasConcept C136119220 @default.
- W170501529 hasConcept C182365436 @default.
- W170501529 hasConcept C199360897 @default.
- W170501529 hasConcept C202444582 @default.
- W170501529 hasConcept C33923547 @default.
- W170501529 hasConcept C41008148 @default.
- W170501529 hasConcept C76155785 @default.
- W170501529 hasConcept C80444323 @default.
- W170501529 hasConcept C90119067 @default.
- W170501529 hasConceptScore W170501529C110812573 @default.
- W170501529 hasConceptScore W170501529C11413529 @default.
- W170501529 hasConceptScore W170501529C126042441 @default.
- W170501529 hasConceptScore W170501529C134306372 @default.
- W170501529 hasConceptScore W170501529C136119220 @default.
- W170501529 hasConceptScore W170501529C182365436 @default.
- W170501529 hasConceptScore W170501529C199360897 @default.
- W170501529 hasConceptScore W170501529C202444582 @default.
- W170501529 hasConceptScore W170501529C33923547 @default.
- W170501529 hasConceptScore W170501529C41008148 @default.
- W170501529 hasConceptScore W170501529C76155785 @default.
- W170501529 hasConceptScore W170501529C80444323 @default.
- W170501529 hasConceptScore W170501529C90119067 @default.
- W170501529 hasLocation W1705015291 @default.
- W170501529 hasOpenAccess W170501529 @default.
- W170501529 hasPrimaryLocation W1705015291 @default.
- W170501529 hasRelatedWork W1483284084 @default.
- W170501529 hasRelatedWork W1489413905 @default.
- W170501529 hasRelatedWork W1499915732 @default.
- W170501529 hasRelatedWork W1501069411 @default.
- W170501529 hasRelatedWork W1512556106 @default.
- W170501529 hasRelatedWork W1516397683 @default.
- W170501529 hasRelatedWork W1526402628 @default.
- W170501529 hasRelatedWork W1561531759 @default.
- W170501529 hasRelatedWork W1597841211 @default.
- W170501529 hasRelatedWork W170772361 @default.
- W170501529 hasRelatedWork W1758843996 @default.
- W170501529 hasRelatedWork W1843743178 @default.
- W170501529 hasRelatedWork W1952051253 @default.
- W170501529 hasRelatedWork W2132114141 @default.
- W170501529 hasRelatedWork W2345143684 @default.
- W170501529 hasRelatedWork W2563639488 @default.
- W170501529 hasRelatedWork W3174333326 @default.
- W170501529 hasRelatedWork W327545094 @default.
- W170501529 hasRelatedWork W36648035 @default.
- W170501529 hasRelatedWork W67968079 @default.
- W170501529 isParatext "false" @default.
- W170501529 isRetracted "false" @default.
- W170501529 magId "170501529" @default.
- W170501529 workType "article" @default.