Matches in SemOpenAlex for { <https://semopenalex.org/work/W1967211314> ?p ?o ?g. }
Showing items 1 to 66 of
66
with 100 items per page.
- W1967211314 endingPage "42" @default.
- W1967211314 startingPage "3" @default.
- W1967211314 abstract "Although Prolog is (still) the most widely used logic language, it suffers from a number of drawbacks which prevent it from being truely declarative. The nondeclarative features such as the depth-first search rule are nevertheless necessary to make Prolog reasonably efficient. Several authors have proposed methodologies to reconcile declarative programming with the algorithmic features of Prolog. The idea is to analyse the logic program with respect to a set of properties such as modes, types, sharing, termination, and the like in order to ensure that the operational behaviour of the Prolog program complies with its logic meaning. Such analyses are tedious to perform by hand and can be automated to some extent. This paper presents a state-of-the-art analyser which allows one to integrate many individual analyses previously proposed in the literature as well as new ones. Conceptually, the analyser is based on the notion of abstract sequence which makes it possible to collect all kinds of desirable information, including relations between the input and output sizes of terms, multiplicity, and termination." @default.
- W1967211314 created "2016-06-24" @default.
- W1967211314 creator A5015116587 @default.
- W1967211314 creator A5015760641 @default.
- W1967211314 creator A5019689077 @default.
- W1967211314 creator A5025418652 @default.
- W1967211314 date "1999-04-01" @default.
- W1967211314 modified "2023-09-29" @default.
- W1967211314 title "Automated verification of Prolog programs" @default.
- W1967211314 cites W1965377774 @default.
- W1967211314 cites W1967211314 @default.
- W1967211314 cites W1967769240 @default.
- W1967211314 cites W1980047375 @default.
- W1967211314 cites W1982243747 @default.
- W1967211314 cites W2004609357 @default.
- W1967211314 cites W2012069736 @default.
- W1967211314 cites W2015209525 @default.
- W1967211314 cites W2024886390 @default.
- W1967211314 cites W2034493279 @default.
- W1967211314 cites W2040410674 @default.
- W1967211314 cites W2069076448 @default.
- W1967211314 cites W207722629 @default.
- W1967211314 cites W2084875723 @default.
- W1967211314 cites W2092371432 @default.
- W1967211314 cites W2118483018 @default.
- W1967211314 cites W246380233 @default.
- W1967211314 doi "https://doi.org/10.1016/s0743-1066(98)10032-8" @default.
- W1967211314 hasPublicationYear "1999" @default.
- W1967211314 type Work @default.
- W1967211314 sameAs 1967211314 @default.
- W1967211314 citedByCount "6" @default.
- W1967211314 crossrefType "journal-article" @default.
- W1967211314 hasAuthorship W1967211314A5015116587 @default.
- W1967211314 hasAuthorship W1967211314A5015760641 @default.
- W1967211314 hasAuthorship W1967211314A5019689077 @default.
- W1967211314 hasAuthorship W1967211314A5025418652 @default.
- W1967211314 hasBestOaLocation W19672113141 @default.
- W1967211314 hasConcept C199360897 @default.
- W1967211314 hasConcept C41008148 @default.
- W1967211314 hasConcept C77088390 @default.
- W1967211314 hasConcept C81721847 @default.
- W1967211314 hasConceptScore W1967211314C199360897 @default.
- W1967211314 hasConceptScore W1967211314C41008148 @default.
- W1967211314 hasConceptScore W1967211314C77088390 @default.
- W1967211314 hasConceptScore W1967211314C81721847 @default.
- W1967211314 hasIssue "1-3" @default.
- W1967211314 hasLocation W19672113141 @default.
- W1967211314 hasOpenAccess W1967211314 @default.
- W1967211314 hasPrimaryLocation W19672113141 @default.
- W1967211314 hasRelatedWork W1508480023 @default.
- W1967211314 hasRelatedWork W1548535723 @default.
- W1967211314 hasRelatedWork W1594655857 @default.
- W1967211314 hasRelatedWork W1597062518 @default.
- W1967211314 hasRelatedWork W1608659702 @default.
- W1967211314 hasRelatedWork W2037317228 @default.
- W1967211314 hasRelatedWork W2088007073 @default.
- W1967211314 hasRelatedWork W2112962394 @default.
- W1967211314 hasRelatedWork W2135396778 @default.
- W1967211314 hasRelatedWork W2473250120 @default.
- W1967211314 hasVolume "39" @default.
- W1967211314 isParatext "false" @default.
- W1967211314 isRetracted "false" @default.
- W1967211314 magId "1967211314" @default.
- W1967211314 workType "article" @default.