Matches in SemOpenAlex for { <https://semopenalex.org/work/W2031532267> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W2031532267 endingPage "148" @default.
- W2031532267 startingPage "123" @default.
- W2031532267 abstract "The type concept of the logic programming language PROTOS-L supports sorts, subsort relationships, and parametric polymorphism. Due to the order-sortedness, types are also present at run time, replacing parts of the deduction process required in an unsorted version by efficient type computations. Together with the polymorphism, most of the flexibility of untyped logic programming carries over the order-sorted approach. The operational semantics of PROTOS-L is based on polymorphic order-sorted resolution. Starting from an abstract specification, we show how this operational semantics can be implemented efficiently by an extension of the Warren Abstract machine, and give a detailed description of all instructions and low-level procedures responsible for type handling. Since the extension leaves the WAM's AND/OR structure unchanged, it allows for all WAM optimizations like last call optimization, environment trimming, etc. Moreover, the extension is orthogonal in the sense that any program part not exploiting the facilities of computing with subtypes is executed with almost the same efficiency as on the original WAM." @default.
- W2031532267 created "2016-06-24" @default.
- W2031532267 creator A5002320735 @default.
- W2031532267 creator A5019531913 @default.
- W2031532267 date "1994-02-01" @default.
- W2031532267 modified "2023-09-29" @default.
- W2031532267 title "Run-time type computations in the Warren Abstract machine" @default.
- W2031532267 cites W1964693872 @default.
- W2031532267 cites W1980166798 @default.
- W2031532267 cites W2004587039 @default.
- W2031532267 cites W2035182234 @default.
- W2031532267 cites W2038037493 @default.
- W2031532267 cites W2071500402 @default.
- W2031532267 cites W2113722134 @default.
- W2031532267 cites W2166822586 @default.
- W2031532267 doi "https://doi.org/10.1016/0743-1066(94)90049-3" @default.
- W2031532267 hasPublicationYear "1994" @default.
- W2031532267 type Work @default.
- W2031532267 sameAs 2031532267 @default.
- W2031532267 citedByCount "10" @default.
- W2031532267 countsByYear W20315322672018 @default.
- W2031532267 countsByYear W20315322672019 @default.
- W2031532267 countsByYear W20315322672021 @default.
- W2031532267 crossrefType "journal-article" @default.
- W2031532267 hasAuthorship W2031532267A5002320735 @default.
- W2031532267 hasAuthorship W2031532267A5019531913 @default.
- W2031532267 hasBestOaLocation W20315322671 @default.
- W2031532267 hasConcept C11413529 @default.
- W2031532267 hasConcept C128838566 @default.
- W2031532267 hasConcept C154945302 @default.
- W2031532267 hasConcept C156325763 @default.
- W2031532267 hasConcept C184337299 @default.
- W2031532267 hasConcept C198370458 @default.
- W2031532267 hasConcept C199360897 @default.
- W2031532267 hasConcept C2776214188 @default.
- W2031532267 hasConcept C2778029271 @default.
- W2031532267 hasConcept C41008148 @default.
- W2031532267 hasConcept C42383842 @default.
- W2031532267 hasConcept C45374587 @default.
- W2031532267 hasConcept C56951928 @default.
- W2031532267 hasConcept C80444323 @default.
- W2031532267 hasConcept C88977235 @default.
- W2031532267 hasConceptScore W2031532267C11413529 @default.
- W2031532267 hasConceptScore W2031532267C128838566 @default.
- W2031532267 hasConceptScore W2031532267C154945302 @default.
- W2031532267 hasConceptScore W2031532267C156325763 @default.
- W2031532267 hasConceptScore W2031532267C184337299 @default.
- W2031532267 hasConceptScore W2031532267C198370458 @default.
- W2031532267 hasConceptScore W2031532267C199360897 @default.
- W2031532267 hasConceptScore W2031532267C2776214188 @default.
- W2031532267 hasConceptScore W2031532267C2778029271 @default.
- W2031532267 hasConceptScore W2031532267C41008148 @default.
- W2031532267 hasConceptScore W2031532267C42383842 @default.
- W2031532267 hasConceptScore W2031532267C45374587 @default.
- W2031532267 hasConceptScore W2031532267C56951928 @default.
- W2031532267 hasConceptScore W2031532267C80444323 @default.
- W2031532267 hasConceptScore W2031532267C88977235 @default.
- W2031532267 hasIssue "2" @default.
- W2031532267 hasLocation W20315322671 @default.
- W2031532267 hasLocation W20315322672 @default.
- W2031532267 hasOpenAccess W2031532267 @default.
- W2031532267 hasPrimaryLocation W20315322671 @default.
- W2031532267 hasRelatedWork W1494381861 @default.
- W2031532267 hasRelatedWork W1523326720 @default.
- W2031532267 hasRelatedWork W1873258151 @default.
- W2031532267 hasRelatedWork W2031532267 @default.
- W2031532267 hasRelatedWork W2032673545 @default.
- W2031532267 hasRelatedWork W2057588976 @default.
- W2031532267 hasRelatedWork W2145960600 @default.
- W2031532267 hasRelatedWork W2162059548 @default.
- W2031532267 hasRelatedWork W1678966650 @default.
- W2031532267 hasRelatedWork W1960833838 @default.
- W2031532267 hasVolume "18" @default.
- W2031532267 isParatext "false" @default.
- W2031532267 isRetracted "false" @default.
- W2031532267 magId "2031532267" @default.
- W2031532267 workType "article" @default.