Matches in SemOpenAlex for { <https://semopenalex.org/work/W2091723900> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W2091723900 abstract "We present the Leon verification system for a subset of the Scala programming language. Along with several functional features of Scala, Leon supports imperative constructs such as mutations and loops, using a translation into recursive functional form. Both properties and programs in Leon are expressed in terms of user-defined functions. We discuss several techniques that led to an efficient semi-decision procedure for first-order constraints with recursive functions, which is the core solving engine of Leon. We describe a generational unrolling strategy for recursive templates that yields smaller satisfiable formulas and ensures completeness for counterexamples. We illustrate the current capabilities of Leon on a set of examples, such as data structure implementations; we show that Leon successfully finds bugs or proves completeness of pattern matching as well as validity of function postconditions." @default.
- W2091723900 created "2016-06-24" @default.
- W2091723900 creator A5007011229 @default.
- W2091723900 creator A5008699657 @default.
- W2091723900 creator A5059949134 @default.
- W2091723900 creator A5085041656 @default.
- W2091723900 date "2013-07-02" @default.
- W2091723900 modified "2023-10-17" @default.
- W2091723900 title "An overview of the Leon verification system" @default.
- W2091723900 cites W1521232193 @default.
- W2091723900 cites W1553511155 @default.
- W2091723900 cites W1606177908 @default.
- W2091723900 cites W1992431017 @default.
- W2091723900 cites W1998838326 @default.
- W2091723900 cites W2003479345 @default.
- W2091723900 cites W2030865387 @default.
- W2091723900 cites W2040152339 @default.
- W2091723900 cites W2051632385 @default.
- W2091723900 cites W2051871492 @default.
- W2091723900 cites W2059703978 @default.
- W2091723900 cites W2142590632 @default.
- W2091723900 cites W2145619371 @default.
- W2091723900 cites W2153036969 @default.
- W2091723900 cites W2158493209 @default.
- W2091723900 cites W2162315884 @default.
- W2091723900 cites W4230958226 @default.
- W2091723900 cites W4232902256 @default.
- W2091723900 cites W4234543429 @default.
- W2091723900 cites W4236040576 @default.
- W2091723900 doi "https://doi.org/10.1145/2489837.2489838" @default.
- W2091723900 hasPublicationYear "2013" @default.
- W2091723900 type Work @default.
- W2091723900 sameAs 2091723900 @default.
- W2091723900 citedByCount "55" @default.
- W2091723900 countsByYear W20917239002013 @default.
- W2091723900 countsByYear W20917239002014 @default.
- W2091723900 countsByYear W20917239002015 @default.
- W2091723900 countsByYear W20917239002016 @default.
- W2091723900 countsByYear W20917239002017 @default.
- W2091723900 countsByYear W20917239002018 @default.
- W2091723900 countsByYear W20917239002019 @default.
- W2091723900 countsByYear W20917239002020 @default.
- W2091723900 countsByYear W20917239002021 @default.
- W2091723900 countsByYear W20917239002022 @default.
- W2091723900 countsByYear W20917239002023 @default.
- W2091723900 crossrefType "proceedings-article" @default.
- W2091723900 hasAuthorship W2091723900A5007011229 @default.
- W2091723900 hasAuthorship W2091723900A5008699657 @default.
- W2091723900 hasAuthorship W2091723900A5059949134 @default.
- W2091723900 hasAuthorship W2091723900A5085041656 @default.
- W2091723900 hasConcept C109701466 @default.
- W2091723900 hasConcept C118615104 @default.
- W2091723900 hasConcept C134306372 @default.
- W2091723900 hasConcept C162838799 @default.
- W2091723900 hasConcept C17231256 @default.
- W2091723900 hasConcept C177264268 @default.
- W2091723900 hasConcept C199360897 @default.
- W2091723900 hasConcept C26713055 @default.
- W2091723900 hasConcept C33923547 @default.
- W2091723900 hasConcept C41008148 @default.
- W2091723900 hasConcept C42383842 @default.
- W2091723900 hasConcept C548217200 @default.
- W2091723900 hasConcept C80444323 @default.
- W2091723900 hasConceptScore W2091723900C109701466 @default.
- W2091723900 hasConceptScore W2091723900C118615104 @default.
- W2091723900 hasConceptScore W2091723900C134306372 @default.
- W2091723900 hasConceptScore W2091723900C162838799 @default.
- W2091723900 hasConceptScore W2091723900C17231256 @default.
- W2091723900 hasConceptScore W2091723900C177264268 @default.
- W2091723900 hasConceptScore W2091723900C199360897 @default.
- W2091723900 hasConceptScore W2091723900C26713055 @default.
- W2091723900 hasConceptScore W2091723900C33923547 @default.
- W2091723900 hasConceptScore W2091723900C41008148 @default.
- W2091723900 hasConceptScore W2091723900C42383842 @default.
- W2091723900 hasConceptScore W2091723900C548217200 @default.
- W2091723900 hasConceptScore W2091723900C80444323 @default.
- W2091723900 hasLocation W20917239001 @default.
- W2091723900 hasOpenAccess W2091723900 @default.
- W2091723900 hasPrimaryLocation W20917239001 @default.
- W2091723900 hasRelatedWork W1984757784 @default.
- W2091723900 hasRelatedWork W2069676812 @default.
- W2091723900 hasRelatedWork W2166770913 @default.
- W2091723900 hasRelatedWork W2500112877 @default.
- W2091723900 hasRelatedWork W2533631495 @default.
- W2091723900 hasRelatedWork W2566335152 @default.
- W2091723900 hasRelatedWork W4230932126 @default.
- W2091723900 hasRelatedWork W593478746 @default.
- W2091723900 hasRelatedWork W2466026336 @default.
- W2091723900 hasRelatedWork W2528467228 @default.
- W2091723900 isParatext "false" @default.
- W2091723900 isRetracted "false" @default.
- W2091723900 magId "2091723900" @default.
- W2091723900 workType "article" @default.