Matches in SemOpenAlex for { <https://semopenalex.org/work/W3124976376> ?p ?o ?g. }
- W3124976376 endingPage "730" @default.
- W3124976376 startingPage "711" @default.
- W3124976376 abstract "Attribute grammars decorate the nodes of a program's parse tree with attributes whose values are defined by equations encoding the (static) semantics of a programming language. We show how replacing the equations of an attribute grammar with equivalent constraints that can be solved by a constraint solver allows us to compute repairs of a malformed program solely from a specification that was originally designed for checking its well-formedness. We present two repair modes --- shallow and deep fixing --- whose computed repair alternatives are guaranteed to repair every error on which they are invoked. While shallow fixing may introduce new errors, deep fixing never does; to make it tractable, we implement it using neighborhood search. We demonstrate the feasibility of our approach by implementing it on top of ExtendJ, an attribute grammar based Java compiler, and by applying it to an example from the Java EE context, detecting and fixing well-formedness errors (both real and injected) in a body of 14 open-source subject programs." @default.
- W3124976376 created "2021-02-01" @default.
- W3124976376 creator A5005840034 @default.
- W3124976376 creator A5033666021 @default.
- W3124976376 creator A5037327078 @default.
- W3124976376 date "2016-10-19" @default.
- W3124976376 modified "2023-09-26" @default.
- W3124976376 title "Computing repair alternatives for malformed programs using constraint attribute grammars" @default.
- W3124976376 cites W1946588374 @default.
- W3124976376 cites W1964071625 @default.
- W3124976376 cites W1971702813 @default.
- W3124976376 cites W1983160424 @default.
- W3124976376 cites W2000952465 @default.
- W3124976376 cites W2002601352 @default.
- W3124976376 cites W2007033444 @default.
- W3124976376 cites W2016027000 @default.
- W3124976376 cites W2030529555 @default.
- W3124976376 cites W205145512 @default.
- W3124976376 cites W2052801637 @default.
- W3124976376 cites W2070821087 @default.
- W3124976376 cites W2072500626 @default.
- W3124976376 cites W2088840065 @default.
- W3124976376 cites W2098913585 @default.
- W3124976376 cites W2100466372 @default.
- W3124976376 cites W2118300983 @default.
- W3124976376 cites W2127229466 @default.
- W3124976376 cites W2138482003 @default.
- W3124976376 cites W2143614054 @default.
- W3124976376 cites W2144575244 @default.
- W3124976376 cites W2153559293 @default.
- W3124976376 cites W2162635569 @default.
- W3124976376 cites W2192868624 @default.
- W3124976376 cites W2207799946 @default.
- W3124976376 cites W2238262809 @default.
- W3124976376 cites W2427646727 @default.
- W3124976376 cites W94253497 @default.
- W3124976376 doi "https://doi.org/10.1145/3022671.2984007" @default.
- W3124976376 hasPublicationYear "2016" @default.
- W3124976376 type Work @default.
- W3124976376 sameAs 3124976376 @default.
- W3124976376 citedByCount "1" @default.
- W3124976376 countsByYear W31249763762019 @default.
- W3124976376 crossrefType "journal-article" @default.
- W3124976376 hasAuthorship W3124976376A5005840034 @default.
- W3124976376 hasAuthorship W3124976376A5033666021 @default.
- W3124976376 hasAuthorship W3124976376A5037327078 @default.
- W3124976376 hasConcept C113174947 @default.
- W3124976376 hasConcept C127413603 @default.
- W3124976376 hasConcept C134306372 @default.
- W3124976376 hasConcept C151730666 @default.
- W3124976376 hasConcept C154945302 @default.
- W3124976376 hasConcept C169590947 @default.
- W3124976376 hasConcept C184337299 @default.
- W3124976376 hasConcept C186644900 @default.
- W3124976376 hasConcept C199360897 @default.
- W3124976376 hasConcept C2776036281 @default.
- W3124976376 hasConcept C2778770139 @default.
- W3124976376 hasConcept C2779343474 @default.
- W3124976376 hasConcept C33923547 @default.
- W3124976376 hasConcept C41008148 @default.
- W3124976376 hasConcept C53893814 @default.
- W3124976376 hasConcept C548217200 @default.
- W3124976376 hasConcept C78519656 @default.
- W3124976376 hasConcept C80444323 @default.
- W3124976376 hasConcept C86803240 @default.
- W3124976376 hasConceptScore W3124976376C113174947 @default.
- W3124976376 hasConceptScore W3124976376C127413603 @default.
- W3124976376 hasConceptScore W3124976376C134306372 @default.
- W3124976376 hasConceptScore W3124976376C151730666 @default.
- W3124976376 hasConceptScore W3124976376C154945302 @default.
- W3124976376 hasConceptScore W3124976376C169590947 @default.
- W3124976376 hasConceptScore W3124976376C184337299 @default.
- W3124976376 hasConceptScore W3124976376C186644900 @default.
- W3124976376 hasConceptScore W3124976376C199360897 @default.
- W3124976376 hasConceptScore W3124976376C2776036281 @default.
- W3124976376 hasConceptScore W3124976376C2778770139 @default.
- W3124976376 hasConceptScore W3124976376C2779343474 @default.
- W3124976376 hasConceptScore W3124976376C33923547 @default.
- W3124976376 hasConceptScore W3124976376C41008148 @default.
- W3124976376 hasConceptScore W3124976376C53893814 @default.
- W3124976376 hasConceptScore W3124976376C548217200 @default.
- W3124976376 hasConceptScore W3124976376C78519656 @default.
- W3124976376 hasConceptScore W3124976376C80444323 @default.
- W3124976376 hasConceptScore W3124976376C86803240 @default.
- W3124976376 hasIssue "10" @default.
- W3124976376 hasLocation W31249763761 @default.
- W3124976376 hasOpenAccess W3124976376 @default.
- W3124976376 hasPrimaryLocation W31249763761 @default.
- W3124976376 hasRelatedWork W1512248002 @default.
- W3124976376 hasRelatedWork W1998962249 @default.
- W3124976376 hasRelatedWork W2004605222 @default.
- W3124976376 hasRelatedWork W2044422526 @default.
- W3124976376 hasRelatedWork W2070147537 @default.
- W3124976376 hasRelatedWork W2139865158 @default.
- W3124976376 hasRelatedWork W2162118494 @default.
- W3124976376 hasRelatedWork W2177866842 @default.
- W3124976376 hasRelatedWork W2369288331 @default.
- W3124976376 hasRelatedWork W2467097043 @default.