Matches in SemOpenAlex for { <https://semopenalex.org/work/W2952198901> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W2952198901 abstract "Modern functional-logic programming languages like Toy or Curry feature non-strict non-deterministic functions that behave under call-time choice semantics. A standard formulation for this semantics is the CRWL logic, that specifies a proof calculus for computing the set of possible results for each expression. In this paper we present a formalization of that calculus in the Isabelle/HOL proof assistant. We have proved some basic properties of CRWL: closedness under c-substitutions, polarity and compositionality. We also discuss some insights that have been gained, such as the fact that left linearity of program rules is not needed for any of these results to hold." @default.
- W2952198901 created "2019-06-27" @default.
- W2952198901 creator A5045356480 @default.
- W2952198901 creator A5054237555 @default.
- W2952198901 creator A5067310583 @default.
- W2952198901 date "2009-08-04" @default.
- W2952198901 modified "2023-09-23" @default.
- W2952198901 title "A Formalization of the Semantics of Functional-Logic Programming in Isabelle" @default.
- W2952198901 cites W1512480360 @default.
- W2952198901 cites W1521843416 @default.
- W2952198901 cites W1522154830 @default.
- W2952198901 cites W1539487186 @default.
- W2952198901 cites W1583295953 @default.
- W2952198901 cites W1762326996 @default.
- W2952198901 cites W1980781982 @default.
- W2952198901 cites W2013417779 @default.
- W2952198901 cites W2053867970 @default.
- W2952198901 cites W2063521547 @default.
- W2952198901 cites W2095631859 @default.
- W2952198901 hasPublicationYear "2009" @default.
- W2952198901 type Work @default.
- W2952198901 sameAs 2952198901 @default.
- W2952198901 citedByCount "0" @default.
- W2952198901 crossrefType "posted-content" @default.
- W2952198901 hasAuthorship W2952198901A5045356480 @default.
- W2952198901 hasAuthorship W2952198901A5054237555 @default.
- W2952198901 hasAuthorship W2952198901A5067310583 @default.
- W2952198901 hasConcept C102993220 @default.
- W2952198901 hasConcept C121375916 @default.
- W2952198901 hasConcept C127001435 @default.
- W2952198901 hasConcept C128838566 @default.
- W2952198901 hasConcept C154945302 @default.
- W2952198901 hasConcept C156325763 @default.
- W2952198901 hasConcept C169896238 @default.
- W2952198901 hasConcept C17435882 @default.
- W2952198901 hasConcept C177264268 @default.
- W2952198901 hasConcept C184337299 @default.
- W2952198901 hasConcept C199360897 @default.
- W2952198901 hasConcept C207648694 @default.
- W2952198901 hasConcept C34165917 @default.
- W2952198901 hasConcept C41008148 @default.
- W2952198901 hasConcept C42383842 @default.
- W2952198901 hasConcept C50033165 @default.
- W2952198901 hasConcept C80444323 @default.
- W2952198901 hasConcept C89497691 @default.
- W2952198901 hasConcept C96315309 @default.
- W2952198901 hasConceptScore W2952198901C102993220 @default.
- W2952198901 hasConceptScore W2952198901C121375916 @default.
- W2952198901 hasConceptScore W2952198901C127001435 @default.
- W2952198901 hasConceptScore W2952198901C128838566 @default.
- W2952198901 hasConceptScore W2952198901C154945302 @default.
- W2952198901 hasConceptScore W2952198901C156325763 @default.
- W2952198901 hasConceptScore W2952198901C169896238 @default.
- W2952198901 hasConceptScore W2952198901C17435882 @default.
- W2952198901 hasConceptScore W2952198901C177264268 @default.
- W2952198901 hasConceptScore W2952198901C184337299 @default.
- W2952198901 hasConceptScore W2952198901C199360897 @default.
- W2952198901 hasConceptScore W2952198901C207648694 @default.
- W2952198901 hasConceptScore W2952198901C34165917 @default.
- W2952198901 hasConceptScore W2952198901C41008148 @default.
- W2952198901 hasConceptScore W2952198901C42383842 @default.
- W2952198901 hasConceptScore W2952198901C50033165 @default.
- W2952198901 hasConceptScore W2952198901C80444323 @default.
- W2952198901 hasConceptScore W2952198901C89497691 @default.
- W2952198901 hasConceptScore W2952198901C96315309 @default.
- W2952198901 hasOpenAccess W2952198901 @default.
- W2952198901 hasRelatedWork W132860830 @default.
- W2952198901 hasRelatedWork W1531349054 @default.
- W2952198901 hasRelatedWork W1539208698 @default.
- W2952198901 hasRelatedWork W1572687385 @default.
- W2952198901 hasRelatedWork W1575848714 @default.
- W2952198901 hasRelatedWork W1591242928 @default.
- W2952198901 hasRelatedWork W1592696017 @default.
- W2952198901 hasRelatedWork W1801920691 @default.
- W2952198901 hasRelatedWork W1827100046 @default.
- W2952198901 hasRelatedWork W1998618679 @default.
- W2952198901 hasRelatedWork W2029220517 @default.
- W2952198901 hasRelatedWork W2072848753 @default.
- W2952198901 hasRelatedWork W2098738693 @default.
- W2952198901 hasRelatedWork W2108932868 @default.
- W2952198901 hasRelatedWork W2113029157 @default.
- W2952198901 hasRelatedWork W2474384703 @default.
- W2952198901 hasRelatedWork W2515420469 @default.
- W2952198901 hasRelatedWork W2971322866 @default.
- W2952198901 hasRelatedWork W3016159912 @default.
- W2952198901 hasRelatedWork W1678966650 @default.
- W2952198901 isParatext "false" @default.
- W2952198901 isRetracted "false" @default.
- W2952198901 magId "2952198901" @default.
- W2952198901 workType "article" @default.