Matches in SemOpenAlex for { <https://semopenalex.org/work/W149731632> ?p ?o ?g. }
- W149731632 endingPage "20" @default.
- W149731632 startingPage "1" @default.
- W149731632 abstract "Specifications are key to improving software reliability as well as documenting precisely the intended behavior of software. Writing specifications is still perceived as expensive. Of course, writing implementations is at least as expensive, but is hardly questioned because there is currently no real alternative. Our goal is to give specifications a more balanced role compared to implementations, enabling the developers to compile, execute, optimize, and verify against each other mixed code fragments containing both specifications and implementations. To make specification constructs executable we combine deductive synthesis with run-time constraint solving, in both cases leveraging modern SMT solvers. Our tool decomposes specifications into simpler fragments using a cost-driven deductive synthesis framework. It compiles as many fragments as possible into conventional functional code; it executes the remaining fragments by invoking our constraint solver that extends an SMT solver to handle recursive functions. Using this approach we were able to execute constraints that describe the desired properties of integers, sets, maps and algebraic data types." @default.
- W149731632 created "2016-06-24" @default.
- W149731632 creator A5008699657 @default.
- W149731632 creator A5059949134 @default.
- W149731632 creator A5085041656 @default.
- W149731632 date "2013-01-01" @default.
- W149731632 modified "2023-10-03" @default.
- W149731632 title "Executing Specifications Using Synthesis and Constraint Solving" @default.
- W149731632 cites W100631053 @default.
- W149731632 cites W1480909796 @default.
- W149731632 cites W1519503479 @default.
- W149731632 cites W1525527210 @default.
- W149731632 cites W1549774509 @default.
- W149731632 cites W1565981606 @default.
- W149731632 cites W1566438397 @default.
- W149731632 cites W1569051713 @default.
- W149731632 cites W1582359184 @default.
- W149731632 cites W1583869287 @default.
- W149731632 cites W1598835948 @default.
- W149731632 cites W1606177908 @default.
- W149731632 cites W1706172200 @default.
- W149731632 cites W1927382928 @default.
- W149731632 cites W1964566177 @default.
- W149731632 cites W1974514467 @default.
- W149731632 cites W1987902506 @default.
- W149731632 cites W1990050510 @default.
- W149731632 cites W2001648835 @default.
- W149731632 cites W2012436850 @default.
- W149731632 cites W2016206563 @default.
- W149731632 cites W2022137742 @default.
- W149731632 cites W2022877924 @default.
- W149731632 cites W202802469 @default.
- W149731632 cites W2037237472 @default.
- W149731632 cites W2041756731 @default.
- W149731632 cites W2060440626 @default.
- W149731632 cites W2070598037 @default.
- W149731632 cites W2076242896 @default.
- W149731632 cites W2091723900 @default.
- W149731632 cites W2095768925 @default.
- W149731632 cites W2101432564 @default.
- W149731632 cites W2105045857 @default.
- W149731632 cites W2105315191 @default.
- W149731632 cites W2111299652 @default.
- W149731632 cites W2115134174 @default.
- W149731632 cites W2118155805 @default.
- W149731632 cites W2127844749 @default.
- W149731632 cites W2137475629 @default.
- W149731632 cites W2142126234 @default.
- W149731632 cites W2146177878 @default.
- W149731632 cites W2148817888 @default.
- W149731632 cites W2149236697 @default.
- W149731632 cites W2161159055 @default.
- W149731632 cites W2162315884 @default.
- W149731632 cites W2162960800 @default.
- W149731632 cites W2168617729 @default.
- W149731632 cites W2170181173 @default.
- W149731632 cites W2170239024 @default.
- W149731632 cites W2171649093 @default.
- W149731632 cites W2184054282 @default.
- W149731632 cites W21977468 @default.
- W149731632 cites W2312760909 @default.
- W149731632 cites W2913355026 @default.
- W149731632 cites W2914613462 @default.
- W149731632 cites W2962708851 @default.
- W149731632 cites W3023554972 @default.
- W149731632 cites W3170419972 @default.
- W149731632 cites W4210350596 @default.
- W149731632 cites W4237211415 @default.
- W149731632 cites W4237511296 @default.
- W149731632 cites W4243882797 @default.
- W149731632 cites W4246873936 @default.
- W149731632 cites W4250846042 @default.
- W149731632 cites W4250863065 @default.
- W149731632 cites W4251854468 @default.
- W149731632 cites W4253748132 @default.
- W149731632 cites W79760435 @default.
- W149731632 doi "https://doi.org/10.1007/978-3-642-40787-1_1" @default.
- W149731632 hasPublicationYear "2013" @default.
- W149731632 type Work @default.
- W149731632 sameAs 149731632 @default.
- W149731632 citedByCount "8" @default.
- W149731632 countsByYear W1497316322013 @default.
- W149731632 countsByYear W1497316322014 @default.
- W149731632 countsByYear W1497316322015 @default.
- W149731632 countsByYear W1497316322016 @default.
- W149731632 countsByYear W1497316322017 @default.
- W149731632 crossrefType "book-chapter" @default.
- W149731632 hasAuthorship W149731632A5008699657 @default.
- W149731632 hasAuthorship W149731632A5059949134 @default.
- W149731632 hasAuthorship W149731632A5085041656 @default.
- W149731632 hasBestOaLocation W1497316322 @default.
- W149731632 hasConcept C111919701 @default.
- W149731632 hasConcept C127413603 @default.
- W149731632 hasConcept C154945302 @default.
- W149731632 hasConcept C160145156 @default.
- W149731632 hasConcept C164155591 @default.
- W149731632 hasConcept C169590947 @default.
- W149731632 hasConcept C199360897 @default.