Matches in SemOpenAlex for { <https://semopenalex.org/work/W1556735226> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W1556735226 endingPage "441" @default.
- W1556735226 startingPage "433" @default.
- W1556735226 abstract "In this paper we discuss a declarative approach to debugging for DATALOG, a logic programming language based on a bottom-up evaluation strategy. We focus on the DATALOG implementation provided by the ALPE programming environment. In ALPE, a DATALOG program is translated by the Logic Query Compiler — LQC — into a Prolog program whose top-down evaluation corresponds to the bottom-up evaluation of the source DATALOG program. It follows then that the computational models of the source and the compiled programs are completely different. This makes the use of a tracer practically pointless. Conversely, the definition of a declarative debugger in this framework requires that an adeguate representation of the computation steps be stored in order to rebuild the evaluation tree and to allow a conversation with the user to occur at source program level. In this paper we show how to produce such information from the DATALOG program." @default.
- W1556735226 created "2016-06-24" @default.
- W1556735226 creator A5026709134 @default.
- W1556735226 creator A5065307752 @default.
- W1556735226 date "1992-01-01" @default.
- W1556735226 modified "2023-10-17" @default.
- W1556735226 title "A declarative debugging environment for DATALOG" @default.
- W1556735226 cites W2027026606 @default.
- W1556735226 cites W2068981034 @default.
- W1556735226 cites W2070553391 @default.
- W1556735226 cites W2164954218 @default.
- W1556735226 cites W4243886922 @default.
- W1556735226 cites W4255993952 @default.
- W1556735226 doi "https://doi.org/10.1007/3-540-55460-2_32" @default.
- W1556735226 hasPublicationYear "1992" @default.
- W1556735226 type Work @default.
- W1556735226 sameAs 1556735226 @default.
- W1556735226 citedByCount "2" @default.
- W1556735226 countsByYear W15567352262017 @default.
- W1556735226 crossrefType "book-chapter" @default.
- W1556735226 hasAuthorship W1556735226A5026709134 @default.
- W1556735226 hasAuthorship W1556735226A5065307752 @default.
- W1556735226 hasConcept C128838566 @default.
- W1556735226 hasConcept C136388014 @default.
- W1556735226 hasConcept C146206909 @default.
- W1556735226 hasConcept C148230440 @default.
- W1556735226 hasConcept C168065819 @default.
- W1556735226 hasConcept C169590947 @default.
- W1556735226 hasConcept C199360897 @default.
- W1556735226 hasConcept C2778485113 @default.
- W1556735226 hasConcept C34165917 @default.
- W1556735226 hasConcept C41008148 @default.
- W1556735226 hasConcept C50033165 @default.
- W1556735226 hasConcept C81721847 @default.
- W1556735226 hasConceptScore W1556735226C128838566 @default.
- W1556735226 hasConceptScore W1556735226C136388014 @default.
- W1556735226 hasConceptScore W1556735226C146206909 @default.
- W1556735226 hasConceptScore W1556735226C148230440 @default.
- W1556735226 hasConceptScore W1556735226C168065819 @default.
- W1556735226 hasConceptScore W1556735226C169590947 @default.
- W1556735226 hasConceptScore W1556735226C199360897 @default.
- W1556735226 hasConceptScore W1556735226C2778485113 @default.
- W1556735226 hasConceptScore W1556735226C34165917 @default.
- W1556735226 hasConceptScore W1556735226C41008148 @default.
- W1556735226 hasConceptScore W1556735226C50033165 @default.
- W1556735226 hasConceptScore W1556735226C81721847 @default.
- W1556735226 hasLocation W15567352261 @default.
- W1556735226 hasOpenAccess W1556735226 @default.
- W1556735226 hasPrimaryLocation W15567352261 @default.
- W1556735226 hasRelatedWork W1549970137 @default.
- W1556735226 hasRelatedWork W1578635992 @default.
- W1556735226 hasRelatedWork W1761688502 @default.
- W1556735226 hasRelatedWork W2034766600 @default.
- W1556735226 hasRelatedWork W2124217695 @default.
- W1556735226 hasRelatedWork W2801084903 @default.
- W1556735226 hasRelatedWork W2899875271 @default.
- W1556735226 hasRelatedWork W2941956612 @default.
- W1556735226 hasRelatedWork W4387146963 @default.
- W1556735226 hasRelatedWork W68341597 @default.
- W1556735226 isParatext "false" @default.
- W1556735226 isRetracted "false" @default.
- W1556735226 magId "1556735226" @default.
- W1556735226 workType "book-chapter" @default.