Matches in SemOpenAlex for { <https://semopenalex.org/work/W2731569046> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W2731569046 startingPage "2" @default.
- W2731569046 abstract "This artifact, named Prosy, is an interactive command-line tool for synthesizing recursive tree-to-string functions (e.g. pretty-printers) from examples. Specifically, Prosy takes as input a Scala file containing a hierarchy of abstract and case classes, and synthesizes the printing function after interacting with the user. Prosy first pro-actively generates a finite set of trees such that their string representations uniquely determine the function to synthesize. While asking the output for each example, Prosy prunes away questions when it can infer their answers from previous answers. In the companion paper, we prove that this pruning allows Prosy not to require that the user provides answers to the entire set of questions, which is of size O(n^3) where n is the size of the input file, but only to a reasonably small subset of size O(n). Furthermore, Prosy guides the interaction by providing suggestions whenever it can." @default.
- W2731569046 created "2017-07-14" @default.
- W2731569046 creator A5005916764 @default.
- W2731569046 creator A5008699657 @default.
- W2731569046 creator A5020869737 @default.
- W2731569046 date "2017-01-01" @default.
- W2731569046 modified "2023-09-23" @default.
- W2731569046 title "Proactive Synthesis of Recursive Tree-to-String Functions from Examples (Artifact)" @default.
- W2731569046 doi "https://doi.org/10.4230/darts.3.2.16" @default.
- W2731569046 hasPublicationYear "2017" @default.
- W2731569046 type Work @default.
- W2731569046 sameAs 2731569046 @default.
- W2731569046 citedByCount "2" @default.
- W2731569046 countsByYear W27315690462018 @default.
- W2731569046 crossrefType "journal-article" @default.
- W2731569046 hasAuthorship W2731569046A5005916764 @default.
- W2731569046 hasAuthorship W2731569046A5008699657 @default.
- W2731569046 hasAuthorship W2731569046A5020869737 @default.
- W2731569046 hasConcept C108010975 @default.
- W2731569046 hasConcept C113174947 @default.
- W2731569046 hasConcept C114614502 @default.
- W2731569046 hasConcept C118615104 @default.
- W2731569046 hasConcept C14036430 @default.
- W2731569046 hasConcept C154945302 @default.
- W2731569046 hasConcept C157486923 @default.
- W2731569046 hasConcept C162324750 @default.
- W2731569046 hasConcept C177264268 @default.
- W2731569046 hasConcept C199360897 @default.
- W2731569046 hasConcept C2779010991 @default.
- W2731569046 hasConcept C31170391 @default.
- W2731569046 hasConcept C33923547 @default.
- W2731569046 hasConcept C34447519 @default.
- W2731569046 hasConcept C37914503 @default.
- W2731569046 hasConcept C41008148 @default.
- W2731569046 hasConcept C6557445 @default.
- W2731569046 hasConcept C78458016 @default.
- W2731569046 hasConcept C80444323 @default.
- W2731569046 hasConcept C86803240 @default.
- W2731569046 hasConceptScore W2731569046C108010975 @default.
- W2731569046 hasConceptScore W2731569046C113174947 @default.
- W2731569046 hasConceptScore W2731569046C114614502 @default.
- W2731569046 hasConceptScore W2731569046C118615104 @default.
- W2731569046 hasConceptScore W2731569046C14036430 @default.
- W2731569046 hasConceptScore W2731569046C154945302 @default.
- W2731569046 hasConceptScore W2731569046C157486923 @default.
- W2731569046 hasConceptScore W2731569046C162324750 @default.
- W2731569046 hasConceptScore W2731569046C177264268 @default.
- W2731569046 hasConceptScore W2731569046C199360897 @default.
- W2731569046 hasConceptScore W2731569046C2779010991 @default.
- W2731569046 hasConceptScore W2731569046C31170391 @default.
- W2731569046 hasConceptScore W2731569046C33923547 @default.
- W2731569046 hasConceptScore W2731569046C34447519 @default.
- W2731569046 hasConceptScore W2731569046C37914503 @default.
- W2731569046 hasConceptScore W2731569046C41008148 @default.
- W2731569046 hasConceptScore W2731569046C6557445 @default.
- W2731569046 hasConceptScore W2731569046C78458016 @default.
- W2731569046 hasConceptScore W2731569046C80444323 @default.
- W2731569046 hasConceptScore W2731569046C86803240 @default.
- W2731569046 hasLocation W27315690461 @default.
- W2731569046 hasOpenAccess W2731569046 @default.
- W2731569046 hasPrimaryLocation W27315690461 @default.
- W2731569046 hasRelatedWork W1541165986 @default.
- W2731569046 hasRelatedWork W1576621220 @default.
- W2731569046 hasRelatedWork W1989486238 @default.
- W2731569046 hasRelatedWork W1999893446 @default.
- W2731569046 hasRelatedWork W2000986968 @default.
- W2731569046 hasRelatedWork W2018909714 @default.
- W2731569046 hasRelatedWork W2055566209 @default.
- W2731569046 hasRelatedWork W2065318757 @default.
- W2731569046 hasRelatedWork W2185294697 @default.
- W2731569046 hasRelatedWork W2336878087 @default.
- W2731569046 hasRelatedWork W2398663808 @default.
- W2731569046 hasRelatedWork W2531991745 @default.
- W2731569046 hasRelatedWork W2574651245 @default.
- W2731569046 hasRelatedWork W2790622767 @default.
- W2731569046 hasRelatedWork W2941967089 @default.
- W2731569046 hasRelatedWork W3083536541 @default.
- W2731569046 hasRelatedWork W3131438599 @default.
- W2731569046 hasRelatedWork W75414529 @default.
- W2731569046 hasRelatedWork W1941215489 @default.
- W2731569046 hasRelatedWork W2416732766 @default.
- W2731569046 hasVolume "3" @default.
- W2731569046 isParatext "false" @default.
- W2731569046 isRetracted "false" @default.
- W2731569046 magId "2731569046" @default.
- W2731569046 workType "article" @default.