Matches in SemOpenAlex for { <https://semopenalex.org/work/W2108784678> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2108784678 abstract "Given a high-level specification and a low-level programming language, our goal is to automatically synthesize an efficient program that meets the specification. In this paper, we present a new algorithmic methodology for inductive synthesis that allows us to do this." @default.
- W2108784678 created "2016-06-24" @default.
- W2108784678 creator A5002512849 @default.
- W2108784678 creator A5010920313 @default.
- W2108784678 creator A5011543162 @default.
- W2108784678 creator A5053065200 @default.
- W2108784678 date "2010-10-17" @default.
- W2108784678 modified "2023-10-17" @default.
- W2108784678 title "A simple inductive synthesis methodology and its applications" @default.
- W2108784678 cites W1969005071 @default.
- W2108784678 cites W2010091891 @default.
- W2108784678 cites W2089171884 @default.
- W2108784678 cites W2101432564 @default.
- W2108784678 cites W2107489588 @default.
- W2108784678 cites W2133925698 @default.
- W2108784678 cites W2149236697 @default.
- W2108784678 cites W4236835455 @default.
- W2108784678 doi "https://doi.org/10.1145/1869459.1869463" @default.
- W2108784678 hasPublicationYear "2010" @default.
- W2108784678 type Work @default.
- W2108784678 sameAs 2108784678 @default.
- W2108784678 citedByCount "46" @default.
- W2108784678 countsByYear W21087846782012 @default.
- W2108784678 countsByYear W21087846782014 @default.
- W2108784678 countsByYear W21087846782015 @default.
- W2108784678 countsByYear W21087846782016 @default.
- W2108784678 countsByYear W21087846782017 @default.
- W2108784678 countsByYear W21087846782018 @default.
- W2108784678 countsByYear W21087846782019 @default.
- W2108784678 countsByYear W21087846782020 @default.
- W2108784678 crossrefType "proceedings-article" @default.
- W2108784678 hasAuthorship W2108784678A5002512849 @default.
- W2108784678 hasAuthorship W2108784678A5010920313 @default.
- W2108784678 hasAuthorship W2108784678A5011543162 @default.
- W2108784678 hasAuthorship W2108784678A5053065200 @default.
- W2108784678 hasConcept C111472728 @default.
- W2108784678 hasConcept C119263510 @default.
- W2108784678 hasConcept C138885662 @default.
- W2108784678 hasConcept C149635348 @default.
- W2108784678 hasConcept C15077461 @default.
- W2108784678 hasConcept C19024347 @default.
- W2108784678 hasConcept C199360897 @default.
- W2108784678 hasConcept C201677973 @default.
- W2108784678 hasConcept C2776937632 @default.
- W2108784678 hasConcept C2780586882 @default.
- W2108784678 hasConcept C34165917 @default.
- W2108784678 hasConcept C41008148 @default.
- W2108784678 hasConcept C42935608 @default.
- W2108784678 hasConcept C50033165 @default.
- W2108784678 hasConcept C58013763 @default.
- W2108784678 hasConceptScore W2108784678C111472728 @default.
- W2108784678 hasConceptScore W2108784678C119263510 @default.
- W2108784678 hasConceptScore W2108784678C138885662 @default.
- W2108784678 hasConceptScore W2108784678C149635348 @default.
- W2108784678 hasConceptScore W2108784678C15077461 @default.
- W2108784678 hasConceptScore W2108784678C19024347 @default.
- W2108784678 hasConceptScore W2108784678C199360897 @default.
- W2108784678 hasConceptScore W2108784678C201677973 @default.
- W2108784678 hasConceptScore W2108784678C2776937632 @default.
- W2108784678 hasConceptScore W2108784678C2780586882 @default.
- W2108784678 hasConceptScore W2108784678C34165917 @default.
- W2108784678 hasConceptScore W2108784678C41008148 @default.
- W2108784678 hasConceptScore W2108784678C42935608 @default.
- W2108784678 hasConceptScore W2108784678C50033165 @default.
- W2108784678 hasConceptScore W2108784678C58013763 @default.
- W2108784678 hasLocation W21087846781 @default.
- W2108784678 hasOpenAccess W2108784678 @default.
- W2108784678 hasPrimaryLocation W21087846781 @default.
- W2108784678 hasRelatedWork W1999652909 @default.
- W2108784678 hasRelatedWork W2008516155 @default.
- W2108784678 hasRelatedWork W2047793074 @default.
- W2108784678 hasRelatedWork W2068351696 @default.
- W2108784678 hasRelatedWork W2108784678 @default.
- W2108784678 hasRelatedWork W2115345074 @default.
- W2108784678 hasRelatedWork W2133376498 @default.
- W2108784678 hasRelatedWork W2245550411 @default.
- W2108784678 hasRelatedWork W2257183258 @default.
- W2108784678 hasRelatedWork W4245713008 @default.
- W2108784678 isParatext "false" @default.
- W2108784678 isRetracted "false" @default.
- W2108784678 magId "2108784678" @default.
- W2108784678 workType "article" @default.