Matches in SemOpenAlex for { <https://semopenalex.org/work/W65876314> ?p ?o ?g. }
Showing items 1 to 57 of
57
with 100 items per page.
- W65876314 endingPage "433" @default.
- W65876314 startingPage "422" @default.
- W65876314 abstract "Correction of OBJ-like Programs ? M. Alpuente, D. Ballis, S. Escobar, M. Falaschi, and S. Lucas 1 DSIC, Universidad Politecnica de Valencia, Camino de Vera s/n, Apdo. 22012, 46071 Valencia, Spain. {alpuente,sescobar,slucas}@dsic.upv.es. 2 Dip. Matematica e Informatica, Via delle Scienze 206, 33100 Udine, Italy. {demis,falaschi}@dimi.uniud.it. Abstract. Debussy is an (abstract) declarative diagnosis tool for functional programs which are written in OBJ style. The debugger does not require the user to either provide error symptoms in advance or answer Debussy is an (abstract) declarative diagnosis tool for functional programs which are written in OBJ style. The debugger does not require the user to either provide error symptoms in advance or answer any question concerning program correctness. In this paper, we formalize an inductive learning methodology for repairing program bugs in OBJlike programs. Correct program rules are automatically synthesized from examples which might be generated as an outcome by the Debussy di-" @default.
- W65876314 created "2016-06-24" @default.
- W65876314 creator A5012146310 @default.
- W65876314 creator A5020998049 @default.
- W65876314 creator A5032149189 @default.
- W65876314 creator A5033696911 @default.
- W65876314 creator A5053216941 @default.
- W65876314 date "2003-01-01" @default.
- W65876314 modified "2023-10-15" @default.
- W65876314 title "Abstract Correction of OBJ-like Programs." @default.
- W65876314 cites W1519330170 @default.
- W65876314 cites W1536163973 @default.
- W65876314 cites W1567856068 @default.
- W65876314 cites W1568706048 @default.
- W65876314 cites W1583295953 @default.
- W65876314 cites W1833440862 @default.
- W65876314 cites W1966571454 @default.
- W65876314 cites W1972733422 @default.
- W65876314 cites W1994272628 @default.
- W65876314 cites W2089111669 @default.
- W65876314 cites W2090180847 @default.
- W65876314 cites W2119717320 @default.
- W65876314 cites W2491270812 @default.
- W65876314 cites W2787105657 @default.
- W65876314 hasPublicationYear "2003" @default.
- W65876314 type Work @default.
- W65876314 sameAs 65876314 @default.
- W65876314 citedByCount "0" @default.
- W65876314 crossrefType "proceedings-article" @default.
- W65876314 hasAuthorship W65876314A5012146310 @default.
- W65876314 hasAuthorship W65876314A5020998049 @default.
- W65876314 hasAuthorship W65876314A5032149189 @default.
- W65876314 hasAuthorship W65876314A5033696911 @default.
- W65876314 hasAuthorship W65876314A5053216941 @default.
- W65876314 hasConcept C124952713 @default.
- W65876314 hasConcept C142362112 @default.
- W65876314 hasConcept C168065819 @default.
- W65876314 hasConcept C199360897 @default.
- W65876314 hasConcept C2776445246 @default.
- W65876314 hasConcept C2778485113 @default.
- W65876314 hasConcept C41008148 @default.
- W65876314 hasConcept C55439883 @default.
- W65876314 hasConceptScore W65876314C124952713 @default.
- W65876314 hasConceptScore W65876314C142362112 @default.
- W65876314 hasConceptScore W65876314C168065819 @default.
- W65876314 hasConceptScore W65876314C199360897 @default.
- W65876314 hasConceptScore W65876314C2776445246 @default.
- W65876314 hasConceptScore W65876314C2778485113 @default.
- W65876314 hasConceptScore W65876314C41008148 @default.
- W65876314 hasConceptScore W65876314C55439883 @default.
- W65876314 hasOpenAccess W65876314 @default.
- W65876314 isParatext "false" @default.
- W65876314 isRetracted "false" @default.
- W65876314 magId "65876314" @default.
- W65876314 workType "article" @default.