Matches in SemOpenAlex for { <https://semopenalex.org/work/W1874448623> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W1874448623 abstract "This paper describes experiments done with a static type analyser to transform pure logic definitions (the so-called logic descriptions [7]) into executable Prolog procedures. The presented static analyser can be used in a final transformation component of a logic program synthesis system such as the systems described in [8, 18]. The paper recalls the notion of a logic description and discusses how type information can be used to relate the logic description to its intended meaning. Then the analyser and the underlying notions of type, and abstract substitution are presented. It is explained how type and mode information can be combined to derive Prolog procedures that are correct wrt given directionalities. The type analyser is able to derive procedures producing correct and well typed results, by finding correct permutations of literals in clauses. Practicality of the analyser is illustrated on three examples. It is shown that: (1) there are several (more or less clever) ways to combine type and mode information to help the analyser finding solutions, (2) explicit type checking can be avoided most of the time at run-time, (3) the analyser is able to find multidirectional procedures in many cases, (4) no share constraints are useful to find more solutions when restricted uses are chosen for the procedures (allowing for elaborate optimizations). The analyser is also useful to combine pure and impure logic procedures as it allows to reuse any Prolog procedure provided that it is given a behaviour." @default.
- W1874448623 created "2016-06-24" @default.
- W1874448623 creator A5025418652 @default.
- W1874448623 creator A5030761667 @default.
- W1874448623 date "1994-01-01" @default.
- W1874448623 modified "2023-09-27" @default.
- W1874448623 title "Mechanical Transformation of Logic Definitions augmented with Type Information into Prolog Procedures: Some Experiments" @default.
- W1874448623 cites W1554357161 @default.
- W1874448623 cites W1585925557 @default.
- W1874448623 cites W1829389880 @default.
- W1874448623 cites W2034493279 @default.
- W1874448623 cites W2073317789 @default.
- W1874448623 doi "https://doi.org/10.1007/978-1-4471-3234-9_19" @default.
- W1874448623 hasPublicationYear "1994" @default.
- W1874448623 type Work @default.
- W1874448623 sameAs 1874448623 @default.
- W1874448623 citedByCount "4" @default.
- W1874448623 crossrefType "book-chapter" @default.
- W1874448623 hasAuthorship W1874448623A5025418652 @default.
- W1874448623 hasAuthorship W1874448623A5030761667 @default.
- W1874448623 hasConcept C104317684 @default.
- W1874448623 hasConcept C11413529 @default.
- W1874448623 hasConcept C128838566 @default.
- W1874448623 hasConcept C160145156 @default.
- W1874448623 hasConcept C185592680 @default.
- W1874448623 hasConcept C18903297 @default.
- W1874448623 hasConcept C199360897 @default.
- W1874448623 hasConcept C204241405 @default.
- W1874448623 hasConcept C26834552 @default.
- W1874448623 hasConcept C2777299769 @default.
- W1874448623 hasConcept C2778361913 @default.
- W1874448623 hasConcept C41008148 @default.
- W1874448623 hasConcept C43617362 @default.
- W1874448623 hasConcept C55493867 @default.
- W1874448623 hasConcept C80444323 @default.
- W1874448623 hasConcept C81721847 @default.
- W1874448623 hasConcept C86803240 @default.
- W1874448623 hasConceptScore W1874448623C104317684 @default.
- W1874448623 hasConceptScore W1874448623C11413529 @default.
- W1874448623 hasConceptScore W1874448623C128838566 @default.
- W1874448623 hasConceptScore W1874448623C160145156 @default.
- W1874448623 hasConceptScore W1874448623C185592680 @default.
- W1874448623 hasConceptScore W1874448623C18903297 @default.
- W1874448623 hasConceptScore W1874448623C199360897 @default.
- W1874448623 hasConceptScore W1874448623C204241405 @default.
- W1874448623 hasConceptScore W1874448623C26834552 @default.
- W1874448623 hasConceptScore W1874448623C2777299769 @default.
- W1874448623 hasConceptScore W1874448623C2778361913 @default.
- W1874448623 hasConceptScore W1874448623C41008148 @default.
- W1874448623 hasConceptScore W1874448623C43617362 @default.
- W1874448623 hasConceptScore W1874448623C55493867 @default.
- W1874448623 hasConceptScore W1874448623C80444323 @default.
- W1874448623 hasConceptScore W1874448623C81721847 @default.
- W1874448623 hasConceptScore W1874448623C86803240 @default.
- W1874448623 hasLocation W18744486231 @default.
- W1874448623 hasOpenAccess W1874448623 @default.
- W1874448623 hasPrimaryLocation W18744486231 @default.
- W1874448623 hasRelatedWork W1479958187 @default.
- W1874448623 hasRelatedWork W1501017496 @default.
- W1874448623 hasRelatedWork W1569467303 @default.
- W1874448623 hasRelatedWork W1573821685 @default.
- W1874448623 hasRelatedWork W1581466971 @default.
- W1874448623 hasRelatedWork W1990050510 @default.
- W1874448623 hasRelatedWork W2029621932 @default.
- W1874448623 hasRelatedWork W2032853531 @default.
- W1874448623 hasRelatedWork W2039870350 @default.
- W1874448623 hasRelatedWork W2062653699 @default.
- W1874448623 hasRelatedWork W2074285438 @default.
- W1874448623 hasRelatedWork W2113137402 @default.
- W1874448623 hasRelatedWork W2160298178 @default.
- W1874448623 hasRelatedWork W2185660871 @default.
- W1874448623 hasRelatedWork W2479043920 @default.
- W1874448623 hasRelatedWork W2619866502 @default.
- W1874448623 hasRelatedWork W28261769 @default.
- W1874448623 hasRelatedWork W3016373772 @default.
- W1874448623 hasRelatedWork W2166319213 @default.
- W1874448623 hasRelatedWork W2911410926 @default.
- W1874448623 isParatext "false" @default.
- W1874448623 isRetracted "false" @default.
- W1874448623 magId "1874448623" @default.
- W1874448623 workType "book-chapter" @default.