FRINK Linked Data Fragments server

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

• W1998413900 endingPage "35" @default.
• W1998413900 startingPage "1" @default.
• W1998413900 abstract "Order-sorted specifications (i.e. many-sorted specifications with subsort relations) have been proved to be a useful tool for the description of partially defined functions and error handling in abstract data types. Several definitions for order-sorted algebras have been proposed. In some papers an operator symbol, which may be multiply declared, is interpreted by a family of functions (“overloaded” algebras). In other papers it is always interpreted by a single function (“nonoverloaded” algebras). On the one hand, we try to demonstrate the differences between these two approaches with respect to equality, rewriting and completion; on the other hand, we prove that in fact both theories can be studied in parallel provided that certain notions are suitably defined. The overloaded approach differs from the many-sorted and the nonoverloaded one in that the overloaded term algebra is not necessarily initial. We give a decidable sufficient criterion for the initiality of the term algebra, which is less restrictive than GJM-regularity as proposed by Goguen, Jouannaud and Meseguer. Sort-decreasingness is an important property of rewrite systems since it ensures that confluence and Church-Rosser property are equivalent, that the overloaded and nonoverloaded rewrite relations agree, and that variable overlaps do not yield critical pairs. We prove that it is decidable whether or not a rewrite rule is sort-decreasing, even if the signature is not regular. Finally, we demonstrate that every overloaded completion procedure may also be used in the nonoverloaded world, but not conversely, and that specifications exist that can only be completed using the nonoverloaded semantics." @default.
• W1998413900 created "2016-06-24" @default.
• W1998413900 creator A5008310084 @default.
• W1998413900 date "1992-03-01" @default.
• W1998413900 modified "2023-10-17" @default.
• W1998413900 title "Semantics of order-sorted specifications" @default.
• W1998413900 cites W2042924775 @default.
• W1998413900 cites W2052972753 @default.
• W1998413900 cites W2061786858 @default.
• W1998413900 cites W2062341323 @default.
• W1998413900 cites W2070854693 @default.
• W1998413900 doi "https://doi.org/10.1016/0304-3975(92)90322-7" @default.
• W1998413900 hasPublicationYear "1992" @default.
• W1998413900 type Work @default.
• W1998413900 sameAs 1998413900 @default.
• W1998413900 citedByCount "29" @default.
• W1998413900 countsByYear W19984139002012 @default.
• W1998413900 countsByYear W19984139002014 @default.
• W1998413900 countsByYear W19984139002019 @default.
• W1998413900 crossrefType "journal-article" @default.
• W1998413900 hasAuthorship W1998413900A5008310084 @default.
• W1998413900 hasBestOaLocation W19984139001 @default.
• W1998413900 hasConcept C10138342 @default.
• W1998413900 hasConcept C104317684 @default.
• W1998413900 hasConcept C111472728 @default.
• W1998413900 hasConcept C118615104 @default.
• W1998413900 hasConcept C121332964 @default.
• W1998413900 hasConcept C136119220 @default.
• W1998413900 hasConcept C138885662 @default.
• W1998413900 hasConcept C14036430 @default.
• W1998413900 hasConcept C153269930 @default.
• W1998413900 hasConcept C154690210 @default.
• W1998413900 hasConcept C158448853 @default.
• W1998413900 hasConcept C162324750 @default.
• W1998413900 hasConcept C17020691 @default.
• W1998413900 hasConcept C182306322 @default.
• W1998413900 hasConcept C185592680 @default.
• W1998413900 hasConcept C189950617 @default.
• W1998413900 hasConcept C199360897 @default.
• W1998413900 hasConcept C202444582 @default.
• W1998413900 hasConcept C33923547 @default.
• W1998413900 hasConcept C41008148 @default.
• W1998413900 hasConcept C55493867 @default.
• W1998413900 hasConcept C61797465 @default.
• W1998413900 hasConcept C62520636 @default.
• W1998413900 hasConcept C77906462 @default.
• W1998413900 hasConcept C78458016 @default.
• W1998413900 hasConcept C86339819 @default.
• W1998413900 hasConcept C86803240 @default.
• W1998413900 hasConcept C88548561 @default.
• W1998413900 hasConcept C94375191 @default.
• W1998413900 hasConceptScore W1998413900C10138342 @default.
• W1998413900 hasConceptScore W1998413900C104317684 @default.
• W1998413900 hasConceptScore W1998413900C111472728 @default.
• W1998413900 hasConceptScore W1998413900C118615104 @default.
• W1998413900 hasConceptScore W1998413900C121332964 @default.
• W1998413900 hasConceptScore W1998413900C136119220 @default.
• W1998413900 hasConceptScore W1998413900C138885662 @default.
• W1998413900 hasConceptScore W1998413900C14036430 @default.
• W1998413900 hasConceptScore W1998413900C153269930 @default.
• W1998413900 hasConceptScore W1998413900C154690210 @default.
• W1998413900 hasConceptScore W1998413900C158448853 @default.
• W1998413900 hasConceptScore W1998413900C162324750 @default.
• W1998413900 hasConceptScore W1998413900C17020691 @default.
• W1998413900 hasConceptScore W1998413900C182306322 @default.
• W1998413900 hasConceptScore W1998413900C185592680 @default.
• W1998413900 hasConceptScore W1998413900C189950617 @default.
• W1998413900 hasConceptScore W1998413900C199360897 @default.
• W1998413900 hasConceptScore W1998413900C202444582 @default.
• W1998413900 hasConceptScore W1998413900C33923547 @default.
• W1998413900 hasConceptScore W1998413900C41008148 @default.
• W1998413900 hasConceptScore W1998413900C55493867 @default.
• W1998413900 hasConceptScore W1998413900C61797465 @default.
• W1998413900 hasConceptScore W1998413900C62520636 @default.
• W1998413900 hasConceptScore W1998413900C77906462 @default.
• W1998413900 hasConceptScore W1998413900C78458016 @default.
• W1998413900 hasConceptScore W1998413900C86339819 @default.
• W1998413900 hasConceptScore W1998413900C86803240 @default.
• W1998413900 hasConceptScore W1998413900C88548561 @default.
• W1998413900 hasConceptScore W1998413900C94375191 @default.
• W1998413900 hasIssue "1" @default.
• W1998413900 hasLocation W19984139001 @default.
• W1998413900 hasOpenAccess W1998413900 @default.
• W1998413900 hasPrimaryLocation W19984139001 @default.
• W1998413900 hasRelatedWork W1497581330 @default.
• W1998413900 hasRelatedWork W1594568141 @default.
• W1998413900 hasRelatedWork W2036985061 @default.
• W1998413900 hasRelatedWork W2156964945 @default.
• W1998413900 hasRelatedWork W2171284891 @default.
• W1998413900 hasRelatedWork W2175061513 @default.
• W1998413900 hasRelatedWork W2316704281 @default.
• W1998413900 hasRelatedWork W4210495575 @default.
• W1998413900 hasRelatedWork W642373709 @default.
• W1998413900 hasRelatedWork W2157264760 @default.
• W1998413900 hasVolume "94" @default.
• W1998413900 isParatext "false" @default.
• W1998413900 isRetracted "false" @default.
• W1998413900 magId "1998413900" @default.

• next