Matches in SemOpenAlex for { <https://semopenalex.org/work/W3195237345> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W3195237345 endingPage "100714" @default.
- W3195237345 startingPage "100714" @default.
- W3195237345 abstract "Developing and using automatic program synthesis mechanisms within Domain Specific Languages (DSLs) requires transcribing empirical knowledge and specifications to formal models. Since the related expertise is time-consuming to build, software engineers are discouraged from adopting automated synthesis as a development paradigm. New approaches promise a significant reduction of human training effort by synthesizing programs from lax specifications, such as unstructured or semi-structured natural language. However, they do not introduce semantics of logical inference that would help users interact with the synthesis mechanism, for example to treat misinterpreted specifications. To cover this shortcoming, in this work we introduce the concept of behaviorizeable relations, which can be less rigorous than behavioral equivalence –and therefore allow laxer specifications– but still perform inference under implicit logical interpretations of the synthesis domain. Using these relations, we develop a generalized greedy framework that iteratively replaces parts of specifications with equivalent implementations; any behaviorizeable relation can be plugged in this framework to synthesize programs while respecting inference under a corresponding logical system. We finally perform a case study, where we define an example predicate-based behaviorizeable relation that lets our framework linearly combine blocks of Python code based on their comment similarity to natural language specifications. We use the resulting mechanism to demonstrate that implicit inference pertains to understanding how to adjust or state new specifications when lax behaviorizeable relations are employed." @default.
- W3195237345 created "2021-08-30" @default.
- W3195237345 creator A5011784504 @default.
- W3195237345 creator A5047313464 @default.
- W3195237345 date "2021-11-01" @default.
- W3195237345 modified "2023-10-17" @default.
- W3195237345 title "Defining behaviorizeable relations to enable inference in semi-automatic program synthesis" @default.
- W3195237345 cites W1135403299 @default.
- W3195237345 cites W1761022139 @default.
- W3195237345 cites W1946621657 @default.
- W3195237345 cites W2000014915 @default.
- W3195237345 cites W2096451472 @default.
- W3195237345 cites W2113352466 @default.
- W3195237345 cites W2139872812 @default.
- W3195237345 cites W2158899267 @default.
- W3195237345 cites W2162960800 @default.
- W3195237345 cites W2171275058 @default.
- W3195237345 cites W2171561809 @default.
- W3195237345 cites W2269738476 @default.
- W3195237345 cites W2589084440 @default.
- W3195237345 cites W2612065447 @default.
- W3195237345 cites W2768510408 @default.
- W3195237345 cites W2894577482 @default.
- W3195237345 cites W2953054522 @default.
- W3195237345 cites W2963935794 @default.
- W3195237345 doi "https://doi.org/10.1016/j.jlamp.2021.100714" @default.
- W3195237345 hasPublicationYear "2021" @default.
- W3195237345 type Work @default.
- W3195237345 sameAs 3195237345 @default.
- W3195237345 citedByCount "1" @default.
- W3195237345 countsByYear W31952373452022 @default.
- W3195237345 crossrefType "journal-article" @default.
- W3195237345 hasAuthorship W3195237345A5011784504 @default.
- W3195237345 hasAuthorship W3195237345A5047313464 @default.
- W3195237345 hasConcept C146499914 @default.
- W3195237345 hasConcept C154945302 @default.
- W3195237345 hasConcept C199360897 @default.
- W3195237345 hasConcept C26713055 @default.
- W3195237345 hasConcept C2776214188 @default.
- W3195237345 hasConcept C2776937632 @default.
- W3195237345 hasConcept C41008148 @default.
- W3195237345 hasConcept C519991488 @default.
- W3195237345 hasConcept C80444323 @default.
- W3195237345 hasConceptScore W3195237345C146499914 @default.
- W3195237345 hasConceptScore W3195237345C154945302 @default.
- W3195237345 hasConceptScore W3195237345C199360897 @default.
- W3195237345 hasConceptScore W3195237345C26713055 @default.
- W3195237345 hasConceptScore W3195237345C2776214188 @default.
- W3195237345 hasConceptScore W3195237345C2776937632 @default.
- W3195237345 hasConceptScore W3195237345C41008148 @default.
- W3195237345 hasConceptScore W3195237345C519991488 @default.
- W3195237345 hasConceptScore W3195237345C80444323 @default.
- W3195237345 hasLocation W31952373451 @default.
- W3195237345 hasOpenAccess W3195237345 @default.
- W3195237345 hasPrimaryLocation W31952373451 @default.
- W3195237345 hasRelatedWork W1504651774 @default.
- W3195237345 hasRelatedWork W1554764448 @default.
- W3195237345 hasRelatedWork W1984757784 @default.
- W3195237345 hasRelatedWork W2083338789 @default.
- W3195237345 hasRelatedWork W2327204559 @default.
- W3195237345 hasRelatedWork W2529681551 @default.
- W3195237345 hasRelatedWork W3017187763 @default.
- W3195237345 hasRelatedWork W4205531442 @default.
- W3195237345 hasRelatedWork W4232504361 @default.
- W3195237345 hasRelatedWork W4245752324 @default.
- W3195237345 hasVolume "123" @default.
- W3195237345 isParatext "false" @default.
- W3195237345 isRetracted "false" @default.
- W3195237345 magId "3195237345" @default.
- W3195237345 workType "article" @default.