Matches in SemOpenAlex for { <https://semopenalex.org/work/W1965788552> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W1965788552 abstract "This paper presents a technique to automatically infer algebraic property-oriented specifications from first-order Curry programs. Curry is a lazy functional logic language and the interaction between laziness and logical variables raises some additional difficulties with respect to other proposals for functional languages. Our technique statically infers from the source code of a Curry program a specification which consists of a set of equations relating (nested) operation calls that have the same behavior. We propose a (glass-box) semantic-based inference method which relies on a fully-abstract (condensed) semantics for achieving, to some extent, the correctness of the inferred specification, differently from other (black-box) approaches based on testing techniques." @default.
- W1965788552 created "2016-06-24" @default.
- W1965788552 creator A5016152088 @default.
- W1965788552 creator A5026879029 @default.
- W1965788552 creator A5051344054 @default.
- W1965788552 creator A5090829631 @default.
- W1965788552 date "2012-09-19" @default.
- W1965788552 modified "2023-09-25" @default.
- W1965788552 title "Automatic synthesis of specifications for first order curry programs" @default.
- W1965788552 cites W1890875952 @default.
- W1965788552 cites W1980781982 @default.
- W1965788552 cites W1988175028 @default.
- W1965788552 cites W2009291520 @default.
- W1965788552 cites W2014764321 @default.
- W1965788552 cites W2022647944 @default.
- W1965788552 cites W2043100293 @default.
- W1965788552 cites W2123863902 @default.
- W1965788552 cites W2142973056 @default.
- W1965788552 cites W2146735819 @default.
- W1965788552 cites W2166172769 @default.
- W1965788552 cites W2167187192 @default.
- W1965788552 cites W2170486381 @default.
- W1965788552 cites W2295387843 @default.
- W1965788552 cites W2295399529 @default.
- W1965788552 doi "https://doi.org/10.1145/2370776.2370781" @default.
- W1965788552 hasPublicationYear "2012" @default.
- W1965788552 type Work @default.
- W1965788552 sameAs 1965788552 @default.
- W1965788552 citedByCount "6" @default.
- W1965788552 countsByYear W19657885522013 @default.
- W1965788552 countsByYear W19657885522015 @default.
- W1965788552 countsByYear W19657885522018 @default.
- W1965788552 countsByYear W19657885522023 @default.
- W1965788552 crossrefType "proceedings-article" @default.
- W1965788552 hasAuthorship W1965788552A5016152088 @default.
- W1965788552 hasAuthorship W1965788552A5026879029 @default.
- W1965788552 hasAuthorship W1965788552A5051344054 @default.
- W1965788552 hasAuthorship W1965788552A5090829631 @default.
- W1965788552 hasBestOaLocation W19657885522 @default.
- W1965788552 hasConcept C111472728 @default.
- W1965788552 hasConcept C118552586 @default.
- W1965788552 hasConcept C138885662 @default.
- W1965788552 hasConcept C15744967 @default.
- W1965788552 hasConcept C177264268 @default.
- W1965788552 hasConcept C184337299 @default.
- W1965788552 hasConcept C189950617 @default.
- W1965788552 hasConcept C199360897 @default.
- W1965788552 hasConcept C2776447739 @default.
- W1965788552 hasConcept C2780624054 @default.
- W1965788552 hasConcept C2781029818 @default.
- W1965788552 hasConcept C41008148 @default.
- W1965788552 hasConcept C42383842 @default.
- W1965788552 hasConcept C55439883 @default.
- W1965788552 hasConcept C80444323 @default.
- W1965788552 hasConceptScore W1965788552C111472728 @default.
- W1965788552 hasConceptScore W1965788552C118552586 @default.
- W1965788552 hasConceptScore W1965788552C138885662 @default.
- W1965788552 hasConceptScore W1965788552C15744967 @default.
- W1965788552 hasConceptScore W1965788552C177264268 @default.
- W1965788552 hasConceptScore W1965788552C184337299 @default.
- W1965788552 hasConceptScore W1965788552C189950617 @default.
- W1965788552 hasConceptScore W1965788552C199360897 @default.
- W1965788552 hasConceptScore W1965788552C2776447739 @default.
- W1965788552 hasConceptScore W1965788552C2780624054 @default.
- W1965788552 hasConceptScore W1965788552C2781029818 @default.
- W1965788552 hasConceptScore W1965788552C41008148 @default.
- W1965788552 hasConceptScore W1965788552C42383842 @default.
- W1965788552 hasConceptScore W1965788552C55439883 @default.
- W1965788552 hasConceptScore W1965788552C80444323 @default.
- W1965788552 hasLocation W19657885521 @default.
- W1965788552 hasLocation W19657885522 @default.
- W1965788552 hasOpenAccess W1965788552 @default.
- W1965788552 hasPrimaryLocation W19657885521 @default.
- W1965788552 hasRelatedWork W1489609867 @default.
- W1965788552 hasRelatedWork W1571983596 @default.
- W1965788552 hasRelatedWork W1587224678 @default.
- W1965788552 hasRelatedWork W1650673748 @default.
- W1965788552 hasRelatedWork W1818509088 @default.
- W1965788552 hasRelatedWork W1967226206 @default.
- W1965788552 hasRelatedWork W2240265104 @default.
- W1965788552 hasRelatedWork W4238823939 @default.
- W1965788552 hasRelatedWork W4312309273 @default.
- W1965788552 hasRelatedWork W2787105657 @default.
- W1965788552 isParatext "false" @default.
- W1965788552 isRetracted "false" @default.
- W1965788552 magId "1965788552" @default.
- W1965788552 workType "article" @default.