FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1574124744> ?p ?o ?g. }

• W1574124744 abstract "In this paper I argue that pure Horn logic does not provide the correct conceptual framework for concurrent programming. In order to express any kind of useful concurrency some extra-logical apparatus is necessary. The semantics and proof systems for such languages must necessarily reflect these control features, thus diluting the essential simplicity of Horn logic programming. In this context I examine C o n c u r r e n t P r o l o g as a concurrent and as a logic programming language, highlighting various semantic and operational difficulties. My thesis is that C o n c u r r e n t P r o l o g is best thought of as a set of control features designed to select some of the many possible execution paths in an inherently non-deterministic language. It is perhaps not a coherent set of control and data-features for the ideal concurrent programming language. It is not a Horn logic programming language because it docs not distinguish between derivations and refutations, because of its commitment to don't care indeterminism. As a result, soundness of the axioms does not guarantee a natural notion of partial correctness and the failure-as-negation rule is unsound. Because there is no don't know determinism, all search has to be programmed, making it a much more procedural rather than declarative language. Moreover, we show that its proposed '? ' (read-only) annotation is under-defined and there does not seem to be any consistent, reasonable way to extend its definition. We propose and justify alternate synchronisation and commitment annotations. This research was sponsored by the Defense Advanced Research Projects Agency (DOD), ARPA Order No. 4976, monitored by the Air Force Avionics Laboratory Under Contract F33G15-84-K-1520. The views aud conclusions contained in this document are those of the authors and should not be interpreted as representing the oflicial policies, either expressed or implied, of the Defense Advanced Research Projects Agency or the US Government." @default.
• W1574124744 created "2016-06-24" @default.
• W1574124744 creator A5014251923 @default.
• W1574124744 date "1986-01-01" @default.
• W1574124744 modified "2023-09-26" @default.
• W1574124744 title "Problems with concurrent prolog" @default.
• W1574124744 cites W1530974209 @default.
• W1574124744 cites W1585399580 @default.
• W1574124744 cites W158887749 @default.
• W1574124744 cites W1713528743 @default.
• W1574124744 cites W1973576343 @default.
• W1574124744 cites W2017637575 @default.
• W1574124744 cites W2092054572 @default.
• W1574124744 cites W2096620062 @default.
• W1574124744 cites W2143326699 @default.
• W1574124744 cites W2143382644 @default.
• W1574124744 cites W2146293637 @default.
• W1574124744 cites W2163058466 @default.
• W1574124744 cites W2166089338 @default.
• W1574124744 cites W3199565109 @default.
• W1574124744 hasPublicationYear "1986" @default.
• W1574124744 type Work @default.
• W1574124744 sameAs 1574124744 @default.
• W1574124744 citedByCount "9" @default.
• W1574124744 crossrefType "journal-article" @default.
• W1574124744 hasAuthorship W1574124744A5014251923 @default.
• W1574124744 hasConcept C128838566 @default.
• W1574124744 hasConcept C148230440 @default.
• W1574124744 hasConcept C189790780 @default.
• W1574124744 hasConcept C193702766 @default.
• W1574124744 hasConcept C199360897 @default.
• W1574124744 hasConcept C2185349 @default.
• W1574124744 hasConcept C39920170 @default.
• W1574124744 hasConcept C41008148 @default.
• W1574124744 hasConcept C80444323 @default.
• W1574124744 hasConcept C81721847 @default.
• W1574124744 hasConceptScore W1574124744C128838566 @default.
• W1574124744 hasConceptScore W1574124744C148230440 @default.
• W1574124744 hasConceptScore W1574124744C189790780 @default.
• W1574124744 hasConceptScore W1574124744C193702766 @default.
• W1574124744 hasConceptScore W1574124744C199360897 @default.
• W1574124744 hasConceptScore W1574124744C2185349 @default.
• W1574124744 hasConceptScore W1574124744C39920170 @default.
• W1574124744 hasConceptScore W1574124744C41008148 @default.
• W1574124744 hasConceptScore W1574124744C80444323 @default.
• W1574124744 hasConceptScore W1574124744C81721847 @default.
• W1574124744 hasLocation W15741247441 @default.
• W1574124744 hasOpenAccess W1574124744 @default.
• W1574124744 hasPrimaryLocation W15741247441 @default.
• W1574124744 hasRelatedWork W124858815 @default.
• W1574124744 hasRelatedWork W1530974209 @default.
• W1574124744 hasRelatedWork W1713528743 @default.
• W1574124744 hasRelatedWork W1971717015 @default.
• W1574124744 hasRelatedWork W1977834309 @default.
• W1574124744 hasRelatedWork W1980985645 @default.
• W1574124744 hasRelatedWork W2003990235 @default.
• W1574124744 hasRelatedWork W2076248384 @default.
• W1574124744 hasRelatedWork W2094815455 @default.
• W1574124744 hasRelatedWork W2116056598 @default.
• W1574124744 hasRelatedWork W2116892606 @default.
• W1574124744 hasRelatedWork W2116984048 @default.
• W1574124744 hasRelatedWork W2143326699 @default.
• W1574124744 hasRelatedWork W2150537182 @default.
• W1574124744 hasRelatedWork W2163058466 @default.
• W1574124744 hasRelatedWork W2164399395 @default.
• W1574124744 hasRelatedWork W2547797938 @default.
• W1574124744 hasRelatedWork W2974613685 @default.
• W1574124744 hasRelatedWork W3100949895 @default.
• W1574124744 hasRelatedWork W3209994340 @default.
• W1574124744 isParatext "false" @default.
• W1574124744 isRetracted "false" @default.
• W1574124744 magId "1574124744" @default.
• W1574124744 workType "article" @default.