Matches in SemOpenAlex for { <https://semopenalex.org/work/W1495695487> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W1495695487 endingPage "188" @default.
- W1495695487 startingPage "152" @default.
- W1495695487 abstract "One recent advance in program development has been the application of abstract interpretation to verify the partial correctness of a (constraint) logic program. Traditionally forwards analysis has been applied that starts with an initial goal and traces the execution in the direction of the control-flow to approximate the program state at each program point. This is often enough to verify assertions that a property holds. The dual approach is to apply backwards analysis to propagate properties of the allowable states against the control-flow to infer queries for which the program will not violate any assertion. Backwards analysis also underpins other program development tasks such as verifying the termination of a logic program or proving that a logic program with a delay mechanism cannot reduce to a state that contains sub-goals which suspend indefinitely. This paper reviews various backwards analyses that have been proposed for logic programs, identifying common threads in these techniques. The analyses are explained through a series of worked examples. The paper concludes with some suggestions for research in backwards analysis for logic program development." @default.
- W1495695487 created "2016-06-24" @default.
- W1495695487 creator A5015062108 @default.
- W1495695487 creator A5039886424 @default.
- W1495695487 creator A5063762504 @default.
- W1495695487 date "2004-01-01" @default.
- W1495695487 modified "2023-10-16" @default.
- W1495695487 title "Analysing Logic Programs by Reasoning Backwards" @default.
- W1495695487 cites W1471753124 @default.
- W1495695487 cites W1480879962 @default.
- W1495695487 cites W1496121453 @default.
- W1495695487 cites W1502058785 @default.
- W1495695487 cites W1524883003 @default.
- W1495695487 cites W1533281179 @default.
- W1495695487 cites W1533556407 @default.
- W1495695487 cites W1544096846 @default.
- W1495695487 cites W1552837293 @default.
- W1495695487 cites W1553082912 @default.
- W1495695487 cites W1556018967 @default.
- W1495695487 cites W1559686260 @default.
- W1495695487 cites W1568994105 @default.
- W1495695487 cites W1573245798 @default.
- W1495695487 cites W1603836767 @default.
- W1495695487 cites W1775494561 @default.
- W1495695487 cites W1853394558 @default.
- W1495695487 cites W1903352348 @default.
- W1495695487 cites W1964777477 @default.
- W1495695487 cites W1965825795 @default.
- W1495695487 cites W1967211314 @default.
- W1495695487 cites W1968297379 @default.
- W1495695487 cites W1982243747 @default.
- W1495695487 cites W1987731252 @default.
- W1495695487 cites W1991816648 @default.
- W1495695487 cites W1992343119 @default.
- W1495695487 cites W1996679397 @default.
- W1495695487 cites W1999783590 @default.
- W1495695487 cites W2003914809 @default.
- W1495695487 cites W2008088626 @default.
- W1495695487 cites W2010266648 @default.
- W1495695487 cites W2012397892 @default.
- W1495695487 cites W2014528910 @default.
- W1495695487 cites W2022418772 @default.
- W1495695487 cites W2032752290 @default.
- W1495695487 cites W2036466202 @default.
- W1495695487 cites W2037164306 @default.
- W1495695487 cites W2037439718 @default.
- W1495695487 cites W2053616158 @default.
- W1495695487 cites W2057821410 @default.
- W1495695487 cites W2059656088 @default.
- W1495695487 cites W2076879110 @default.
- W1495695487 cites W2079925704 @default.
- W1495695487 cites W2080286813 @default.
- W1495695487 cites W2085729865 @default.
- W1495695487 cites W2100264125 @default.
- W1495695487 cites W2110846749 @default.
- W1495695487 cites W2112856950 @default.
- W1495695487 cites W2120913343 @default.
- W1495695487 cites W2122211950 @default.
- W1495695487 cites W2125364400 @default.
- W1495695487 cites W2135681149 @default.
- W1495695487 cites W4301885396 @default.
- W1495695487 doi "https://doi.org/10.1007/978-3-540-25951-0_6" @default.
- W1495695487 hasPublicationYear "2004" @default.
- W1495695487 type Work @default.
- W1495695487 sameAs 1495695487 @default.
- W1495695487 citedByCount "12" @default.
- W1495695487 countsByYear W14956954872018 @default.
- W1495695487 countsByYear W14956954872021 @default.
- W1495695487 crossrefType "book-chapter" @default.
- W1495695487 hasAuthorship W1495695487A5015062108 @default.
- W1495695487 hasAuthorship W1495695487A5039886424 @default.
- W1495695487 hasAuthorship W1495695487A5063762504 @default.
- W1495695487 hasBestOaLocation W14956954872 @default.
- W1495695487 hasConcept C199360897 @default.
- W1495695487 hasConcept C41008148 @default.
- W1495695487 hasConceptScore W1495695487C199360897 @default.
- W1495695487 hasConceptScore W1495695487C41008148 @default.
- W1495695487 hasLocation W14956954871 @default.
- W1495695487 hasLocation W14956954872 @default.
- W1495695487 hasOpenAccess W1495695487 @default.
- W1495695487 hasPrimaryLocation W14956954871 @default.
- W1495695487 hasRelatedWork W1527862632 @default.
- W1495695487 hasRelatedWork W2109507516 @default.
- W1495695487 hasRelatedWork W2112962394 @default.
- W1495695487 hasRelatedWork W2118300983 @default.
- W1495695487 hasRelatedWork W2135396778 @default.
- W1495695487 hasRelatedWork W2382501300 @default.
- W1495695487 hasRelatedWork W2740990710 @default.
- W1495695487 hasRelatedWork W3137189469 @default.
- W1495695487 hasRelatedWork W4235530921 @default.
- W1495695487 hasRelatedWork W4243252198 @default.
- W1495695487 isParatext "false" @default.
- W1495695487 isRetracted "false" @default.
- W1495695487 magId "1495695487" @default.
- W1495695487 workType "book-chapter" @default.