Matches in SemOpenAlex for { <https://semopenalex.org/work/W4386211070> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W4386211070 endingPage "200" @default.
- W4386211070 startingPage "193" @default.
- W4386211070 abstract "The programming language Prolog makes declarative programming possible, at least to a substantial extent. Programs may be written and reasoned about in terms of their declarative semantics. All the advantages of declarative programming are however lost when it comes to program debugging. This is because the Prolog debugger is based solely on the operational semantics. Declarative methods of diagnosis (i.e. locating errors in programs) exist, but are neglected. This paper discusses their possibly main weaknesses and shows how to overcome them. We argue that useful ways of declarative diagnosis of logic programs exist, and should be usable in actual programming." @default.
- W4386211070 created "2023-08-29" @default.
- W4386211070 creator A5066576127 @default.
- W4386211070 date "2023-09-12" @default.
- W4386211070 modified "2023-09-30" @default.
- W4386211070 title "On Feasibility of Declarative Diagnosis" @default.
- W4386211070 cites W1480557038 @default.
- W4386211070 cites W1544975770 @default.
- W4386211070 cites W1804654308 @default.
- W4386211070 cites W1949299616 @default.
- W4386211070 cites W1972185528 @default.
- W4386211070 cites W2011306767 @default.
- W4386211070 cites W2027026606 @default.
- W4386211070 cites W2036292005 @default.
- W4386211070 cites W2126250701 @default.
- W4386211070 cites W2752382195 @default.
- W4386211070 cites W2963114687 @default.
- W4386211070 cites W3018143143 @default.
- W4386211070 cites W4378501577 @default.
- W4386211070 doi "https://doi.org/10.4204/eptcs.385.20" @default.
- W4386211070 hasPublicationYear "2023" @default.
- W4386211070 type Work @default.
- W4386211070 citedByCount "0" @default.
- W4386211070 crossrefType "journal-article" @default.
- W4386211070 hasAuthorship W4386211070A5066576127 @default.
- W4386211070 hasBestOaLocation W43862110701 @default.
- W4386211070 hasConcept C105795698 @default.
- W4386211070 hasConcept C128838566 @default.
- W4386211070 hasConcept C136388014 @default.
- W4386211070 hasConcept C136764020 @default.
- W4386211070 hasConcept C137631369 @default.
- W4386211070 hasConcept C146206909 @default.
- W4386211070 hasConcept C168065819 @default.
- W4386211070 hasConcept C173404611 @default.
- W4386211070 hasConcept C184337299 @default.
- W4386211070 hasConcept C199305712 @default.
- W4386211070 hasConcept C199360897 @default.
- W4386211070 hasConcept C2778485113 @default.
- W4386211070 hasConcept C2780615836 @default.
- W4386211070 hasConcept C33923547 @default.
- W4386211070 hasConcept C34165917 @default.
- W4386211070 hasConcept C41008148 @default.
- W4386211070 hasConcept C50033165 @default.
- W4386211070 hasConcept C81721847 @default.
- W4386211070 hasConceptScore W4386211070C105795698 @default.
- W4386211070 hasConceptScore W4386211070C128838566 @default.
- W4386211070 hasConceptScore W4386211070C136388014 @default.
- W4386211070 hasConceptScore W4386211070C136764020 @default.
- W4386211070 hasConceptScore W4386211070C137631369 @default.
- W4386211070 hasConceptScore W4386211070C146206909 @default.
- W4386211070 hasConceptScore W4386211070C168065819 @default.
- W4386211070 hasConceptScore W4386211070C173404611 @default.
- W4386211070 hasConceptScore W4386211070C184337299 @default.
- W4386211070 hasConceptScore W4386211070C199305712 @default.
- W4386211070 hasConceptScore W4386211070C199360897 @default.
- W4386211070 hasConceptScore W4386211070C2778485113 @default.
- W4386211070 hasConceptScore W4386211070C2780615836 @default.
- W4386211070 hasConceptScore W4386211070C33923547 @default.
- W4386211070 hasConceptScore W4386211070C34165917 @default.
- W4386211070 hasConceptScore W4386211070C41008148 @default.
- W4386211070 hasConceptScore W4386211070C50033165 @default.
- W4386211070 hasConceptScore W4386211070C81721847 @default.
- W4386211070 hasLocation W43862110701 @default.
- W4386211070 hasLocation W43862110702 @default.
- W4386211070 hasOpenAccess W4386211070 @default.
- W4386211070 hasPrimaryLocation W43862110701 @default.
- W4386211070 hasRelatedWork W151144758 @default.
- W4386211070 hasRelatedWork W2089642402 @default.
- W4386211070 hasRelatedWork W2108000406 @default.
- W4386211070 hasRelatedWork W2348463574 @default.
- W4386211070 hasRelatedWork W2951004607 @default.
- W4386211070 hasRelatedWork W3009891130 @default.
- W4386211070 hasRelatedWork W3018143143 @default.
- W4386211070 hasRelatedWork W4239436350 @default.
- W4386211070 hasRelatedWork W4287829362 @default.
- W4386211070 hasRelatedWork W4386211070 @default.
- W4386211070 hasVolume "385" @default.
- W4386211070 isParatext "false" @default.
- W4386211070 isRetracted "false" @default.
- W4386211070 workType "article" @default.