Matches in SemOpenAlex for { <https://semopenalex.org/work/W2068981034> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2068981034 abstract "The notion of program correctness with respect to an interpretation is defined for a class of programming languages. Under this definition, if a program terminates with an incorrect output then it contains an incorrect procedure. Algorithms for detecting incorrect procedures are developed. These algorithms formalize what experienced programmers may know already.A logic program implementation of these algorithms is described. Its performance suggests that the algorithms can be the backbone of debugging aids that go far beyond what is offered by current programming environments.Applications of algorithmic debugging to automatic program construction are explored." @default.
- W2068981034 created "2016-06-24" @default.
- W2068981034 creator A5053718371 @default.
- W2068981034 date "1982-01-01" @default.
- W2068981034 modified "2023-10-14" @default.
- W2068981034 title "Algorithmic program diagnosis" @default.
- W2068981034 cites W131260984 @default.
- W2068981034 cites W151011738 @default.
- W2068981034 cites W1578088218 @default.
- W2068981034 cites W1579433101 @default.
- W2068981034 cites W1614081703 @default.
- W2068981034 cites W1766332311 @default.
- W2068981034 cites W193887220 @default.
- W2068981034 cites W1969005071 @default.
- W2068981034 cites W1986566426 @default.
- W2068981034 cites W2023299380 @default.
- W2068981034 cites W2046158035 @default.
- W2068981034 cites W2056168527 @default.
- W2068981034 cites W2089268152 @default.
- W2068981034 cites W2101188827 @default.
- W2068981034 cites W2108911687 @default.
- W2068981034 cites W2148817888 @default.
- W2068981034 cites W365880849 @default.
- W2068981034 doi "https://doi.org/10.1145/582153.582185" @default.
- W2068981034 hasPublicationYear "1982" @default.
- W2068981034 type Work @default.
- W2068981034 sameAs 2068981034 @default.
- W2068981034 citedByCount "80" @default.
- W2068981034 countsByYear W20689810342012 @default.
- W2068981034 countsByYear W20689810342013 @default.
- W2068981034 countsByYear W20689810342014 @default.
- W2068981034 countsByYear W20689810342015 @default.
- W2068981034 countsByYear W20689810342017 @default.
- W2068981034 countsByYear W20689810342020 @default.
- W2068981034 countsByYear W20689810342021 @default.
- W2068981034 countsByYear W20689810342022 @default.
- W2068981034 countsByYear W20689810342023 @default.
- W2068981034 crossrefType "proceedings-article" @default.
- W2068981034 hasAuthorship W2068981034A5053718371 @default.
- W2068981034 hasConcept C128838566 @default.
- W2068981034 hasConcept C136388014 @default.
- W2068981034 hasConcept C154945302 @default.
- W2068981034 hasConcept C168065819 @default.
- W2068981034 hasConcept C199360897 @default.
- W2068981034 hasConcept C2777212361 @default.
- W2068981034 hasConcept C2780654840 @default.
- W2068981034 hasConcept C2987117450 @default.
- W2068981034 hasConcept C41008148 @default.
- W2068981034 hasConcept C527412718 @default.
- W2068981034 hasConcept C55439883 @default.
- W2068981034 hasConcept C80444323 @default.
- W2068981034 hasConcept C98183937 @default.
- W2068981034 hasConceptScore W2068981034C128838566 @default.
- W2068981034 hasConceptScore W2068981034C136388014 @default.
- W2068981034 hasConceptScore W2068981034C154945302 @default.
- W2068981034 hasConceptScore W2068981034C168065819 @default.
- W2068981034 hasConceptScore W2068981034C199360897 @default.
- W2068981034 hasConceptScore W2068981034C2777212361 @default.
- W2068981034 hasConceptScore W2068981034C2780654840 @default.
- W2068981034 hasConceptScore W2068981034C2987117450 @default.
- W2068981034 hasConceptScore W2068981034C41008148 @default.
- W2068981034 hasConceptScore W2068981034C527412718 @default.
- W2068981034 hasConceptScore W2068981034C55439883 @default.
- W2068981034 hasConceptScore W2068981034C80444323 @default.
- W2068981034 hasConceptScore W2068981034C98183937 @default.
- W2068981034 hasLocation W20689810341 @default.
- W2068981034 hasOpenAccess W2068981034 @default.
- W2068981034 hasPrimaryLocation W20689810341 @default.
- W2068981034 hasRelatedWork W1500722876 @default.
- W2068981034 hasRelatedWork W1601811574 @default.
- W2068981034 hasRelatedWork W2002183011 @default.
- W2068981034 hasRelatedWork W2042386232 @default.
- W2068981034 hasRelatedWork W2068981034 @default.
- W2068981034 hasRelatedWork W2145846519 @default.
- W2068981034 hasRelatedWork W2165069483 @default.
- W2068981034 hasRelatedWork W2175389656 @default.
- W2068981034 hasRelatedWork W2395217712 @default.
- W2068981034 hasRelatedWork W2764157639 @default.
- W2068981034 isParatext "false" @default.
- W2068981034 isRetracted "false" @default.
- W2068981034 magId "2068981034" @default.
- W2068981034 workType "article" @default.