Matches in SemOpenAlex for { <https://semopenalex.org/work/W1531450877> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W1531450877 abstract "Automated program debugging is a difficult task which requires recognizing the algorithm employed by the programmer and detecting any errors that exist in her program. All approaches to automated program debugging require some form of plan library which consists of a collection of representative programs. The general approach to constructing these debuggers is to build a system with an initial set of representative programs, run empirical studies on novice programmers to test the sufficiency of this set of programs, and then add new representative programs and repeat the empirical studies. Because the decision to add new representative programs to the library is dictated by empirical studies, the set of programs in the library has no precise characterization. It is possible to precisely define a non-trivial class of recursive list processing Prolog programs which empirical studies have shown to be sufficient for novice Prolog programmers. When supplemented with a general equivalence-preserving transformation scheme, this class of programs can be represented by a very small set of representative normal form programs which is bounded by the number of inputs in the program. The resultant debugger is more robust than APROPOS2 [9] and provides a precise characterization of the class of programs it can recognize." @default.
- W1531450877 created "2016-06-24" @default.
- W1531450877 creator A5078279042 @default.
- W1531450877 date "1992-01-01" @default.
- W1531450877 modified "2023-09-27" @default.
- W1531450877 title "ADAPT: Automated debugging in an adaptive Prolog tutor" @default.
- W1531450877 cites W1551870799 @default.
- W1531450877 cites W1964246662 @default.
- W1531450877 cites W2064726330 @default.
- W1531450877 cites W2111326547 @default.
- W1531450877 doi "https://doi.org/10.1007/3-540-55606-0_42" @default.
- W1531450877 hasPublicationYear "1992" @default.
- W1531450877 type Work @default.
- W1531450877 sameAs 1531450877 @default.
- W1531450877 citedByCount "4" @default.
- W1531450877 countsByYear W15314508772017 @default.
- W1531450877 crossrefType "book-chapter" @default.
- W1531450877 hasAuthorship W1531450877A5078279042 @default.
- W1531450877 hasConcept C136388014 @default.
- W1531450877 hasConcept C154945302 @default.
- W1531450877 hasConcept C168065819 @default.
- W1531450877 hasConcept C177264268 @default.
- W1531450877 hasConcept C199360897 @default.
- W1531450877 hasConcept C2777212361 @default.
- W1531450877 hasConcept C2778361913 @default.
- W1531450877 hasConcept C2778485113 @default.
- W1531450877 hasConcept C2778514511 @default.
- W1531450877 hasConcept C41008148 @default.
- W1531450877 hasConcept C80444323 @default.
- W1531450877 hasConcept C81721847 @default.
- W1531450877 hasConceptScore W1531450877C136388014 @default.
- W1531450877 hasConceptScore W1531450877C154945302 @default.
- W1531450877 hasConceptScore W1531450877C168065819 @default.
- W1531450877 hasConceptScore W1531450877C177264268 @default.
- W1531450877 hasConceptScore W1531450877C199360897 @default.
- W1531450877 hasConceptScore W1531450877C2777212361 @default.
- W1531450877 hasConceptScore W1531450877C2778361913 @default.
- W1531450877 hasConceptScore W1531450877C2778485113 @default.
- W1531450877 hasConceptScore W1531450877C2778514511 @default.
- W1531450877 hasConceptScore W1531450877C41008148 @default.
- W1531450877 hasConceptScore W1531450877C80444323 @default.
- W1531450877 hasConceptScore W1531450877C81721847 @default.
- W1531450877 hasLocation W15314508771 @default.
- W1531450877 hasOpenAccess W1531450877 @default.
- W1531450877 hasPrimaryLocation W15314508771 @default.
- W1531450877 hasRelatedWork W106083937 @default.
- W1531450877 hasRelatedWork W1507181701 @default.
- W1531450877 hasRelatedWork W1528423264 @default.
- W1531450877 hasRelatedWork W1556466138 @default.
- W1531450877 hasRelatedWork W1586421572 @default.
- W1531450877 hasRelatedWork W187477833 @default.
- W1531450877 hasRelatedWork W1970892450 @default.
- W1531450877 hasRelatedWork W1985334734 @default.
- W1531450877 hasRelatedWork W1986617653 @default.
- W1531450877 hasRelatedWork W1992634294 @default.
- W1531450877 hasRelatedWork W2001023832 @default.
- W1531450877 hasRelatedWork W2009103381 @default.
- W1531450877 hasRelatedWork W2056589837 @default.
- W1531450877 hasRelatedWork W2068981034 @default.
- W1531450877 hasRelatedWork W2122994936 @default.
- W1531450877 hasRelatedWork W2145846519 @default.
- W1531450877 hasRelatedWork W2164952781 @default.
- W1531450877 hasRelatedWork W2564687925 @default.
- W1531450877 hasRelatedWork W3105322051 @default.
- W1531450877 hasRelatedWork W433113466 @default.
- W1531450877 isParatext "false" @default.
- W1531450877 isRetracted "false" @default.
- W1531450877 magId "1531450877" @default.
- W1531450877 workType "book-chapter" @default.