Matches in SemOpenAlex for { <https://semopenalex.org/work/W2949737584> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W2949737584 abstract "We consider a general prescriptive type system with parametric polymorphism and subtyping for logic programs. The property of subject reduction expresses the consistency of the type system w.r.t. the execution model: if a program is well-typed, then all derivations starting in a well-typed goal are again well-typed. It is well-established that without subtyping, this property is readily obtained for logic programs w.r.t. their standard (untyped) execution model. Here we give syntactic conditions that ensure subject reduction also in the presence of general subtyping relations between type constructors. The idea is to consider logic programs with a fixed dataflow, given by modes." @default.
- W2949737584 created "2019-06-27" @default.
- W2949737584 creator A5000983836 @default.
- W2949737584 creator A5024660301 @default.
- W2949737584 creator A5078443723 @default.
- W2949737584 date "2000-10-20" @default.
- W2949737584 modified "2023-09-23" @default.
- W2949737584 title "Using Modes to Ensure Subject Reduction for Typed Logic Programs with Subtyping" @default.
- W2949737584 hasPublicationYear "2000" @default.
- W2949737584 type Work @default.
- W2949737584 sameAs 2949737584 @default.
- W2949737584 citedByCount "0" @default.
- W2949737584 crossrefType "posted-content" @default.
- W2949737584 hasAuthorship W2949737584A5000983836 @default.
- W2949737584 hasAuthorship W2949737584A5024660301 @default.
- W2949737584 hasAuthorship W2949737584A5078443723 @default.
- W2949737584 hasConcept C111335779 @default.
- W2949737584 hasConcept C111472728 @default.
- W2949737584 hasConcept C138885662 @default.
- W2949737584 hasConcept C154945302 @default.
- W2949737584 hasConcept C18903297 @default.
- W2949737584 hasConcept C189950617 @default.
- W2949737584 hasConcept C198370458 @default.
- W2949737584 hasConcept C199360897 @default.
- W2949737584 hasConcept C2524010 @default.
- W2949737584 hasConcept C2776214188 @default.
- W2949737584 hasConcept C2776436953 @default.
- W2949737584 hasConcept C2777299769 @default.
- W2949737584 hasConcept C33923547 @default.
- W2949737584 hasConcept C41008148 @default.
- W2949737584 hasConcept C80444323 @default.
- W2949737584 hasConcept C83852419 @default.
- W2949737584 hasConcept C86803240 @default.
- W2949737584 hasConcept C93682546 @default.
- W2949737584 hasConcept C96324660 @default.
- W2949737584 hasConceptScore W2949737584C111335779 @default.
- W2949737584 hasConceptScore W2949737584C111472728 @default.
- W2949737584 hasConceptScore W2949737584C138885662 @default.
- W2949737584 hasConceptScore W2949737584C154945302 @default.
- W2949737584 hasConceptScore W2949737584C18903297 @default.
- W2949737584 hasConceptScore W2949737584C189950617 @default.
- W2949737584 hasConceptScore W2949737584C198370458 @default.
- W2949737584 hasConceptScore W2949737584C199360897 @default.
- W2949737584 hasConceptScore W2949737584C2524010 @default.
- W2949737584 hasConceptScore W2949737584C2776214188 @default.
- W2949737584 hasConceptScore W2949737584C2776436953 @default.
- W2949737584 hasConceptScore W2949737584C2777299769 @default.
- W2949737584 hasConceptScore W2949737584C33923547 @default.
- W2949737584 hasConceptScore W2949737584C41008148 @default.
- W2949737584 hasConceptScore W2949737584C80444323 @default.
- W2949737584 hasConceptScore W2949737584C83852419 @default.
- W2949737584 hasConceptScore W2949737584C86803240 @default.
- W2949737584 hasConceptScore W2949737584C93682546 @default.
- W2949737584 hasConceptScore W2949737584C96324660 @default.
- W2949737584 hasOpenAccess W2949737584 @default.
- W2949737584 hasRelatedWork W1616475887 @default.
- W2949737584 hasRelatedWork W19552920 @default.
- W2949737584 hasRelatedWork W1997354605 @default.
- W2949737584 hasRelatedWork W2002866920 @default.
- W2949737584 hasRelatedWork W2026691974 @default.
- W2949737584 hasRelatedWork W2038534598 @default.
- W2949737584 hasRelatedWork W2048536148 @default.
- W2949737584 hasRelatedWork W2062899830 @default.
- W2949737584 hasRelatedWork W2070417153 @default.
- W2949737584 hasRelatedWork W2071386812 @default.
- W2949737584 hasRelatedWork W2074641339 @default.
- W2949737584 hasRelatedWork W2096213702 @default.
- W2949737584 hasRelatedWork W2151994258 @default.
- W2949737584 hasRelatedWork W2166819861 @default.
- W2949737584 hasRelatedWork W2395570907 @default.
- W2949737584 hasRelatedWork W2953193806 @default.
- W2949737584 hasRelatedWork W3030705729 @default.
- W2949737584 hasRelatedWork W58824149 @default.
- W2949737584 hasRelatedWork W2134608501 @default.
- W2949737584 hasRelatedWork W2912100275 @default.
- W2949737584 isParatext "false" @default.
- W2949737584 isRetracted "false" @default.
- W2949737584 magId "2949737584" @default.
- W2949737584 workType "article" @default.