Matches in SemOpenAlex for { <https://semopenalex.org/work/W2162248045> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W2162248045 endingPage "356" @default.
- W2162248045 startingPage "337" @default.
- W2162248045 abstract "A set of operations for constructing algebraic specifications in an arbitrary logical system is presented. This builds on the framework provided by Goguen and Burstall's work on the notion of an institution as a formalisation of the concept of a logical system for writing specifications. We show how to introduce free variables into the sentences of an arbitrary institution and how to add quantifiers which bind them. We use this foundation to define a set of primitive operations for building specifications in an arbitrary institution based loosely on those in the ASL kernel specification language. We examine the set of operations which results when the definitions are instantiated in an institution of first-order logic and compare these with the operations found in existing specification languages. The result of instantiating the operations in an institution of partial first-order logic is also discussed." @default.
- W2162248045 created "2016-06-24" @default.
- W2162248045 creator A5062418524 @default.
- W2162248045 creator A5087292234 @default.
- W2162248045 date "1984-01-01" @default.
- W2162248045 modified "2023-10-14" @default.
- W2162248045 title "Building specifications in an arbitrary institution" @default.
- W2162248045 cites W1496607686 @default.
- W2162248045 cites W1541153481 @default.
- W2162248045 cites W1543545626 @default.
- W2162248045 cites W1559473997 @default.
- W2162248045 cites W1586272280 @default.
- W2162248045 cites W1966748830 @default.
- W2162248045 cites W1968103050 @default.
- W2162248045 cites W1970554275 @default.
- W2162248045 cites W1974483963 @default.
- W2162248045 cites W1989177109 @default.
- W2162248045 cites W2050382208 @default.
- W2162248045 cites W2061786858 @default.
- W2162248045 cites W2070706877 @default.
- W2162248045 cites W4235375486 @default.
- W2162248045 doi "https://doi.org/10.1007/3-540-13346-1_17" @default.
- W2162248045 hasPublicationYear "1984" @default.
- W2162248045 type Work @default.
- W2162248045 sameAs 2162248045 @default.
- W2162248045 citedByCount "24" @default.
- W2162248045 countsByYear W21622480452015 @default.
- W2162248045 crossrefType "book-chapter" @default.
- W2162248045 hasAuthorship W2162248045A5062418524 @default.
- W2162248045 hasAuthorship W2162248045A5087292234 @default.
- W2162248045 hasBestOaLocation W21622480452 @default.
- W2162248045 hasConcept C116253237 @default.
- W2162248045 hasConcept C136119220 @default.
- W2162248045 hasConcept C177264268 @default.
- W2162248045 hasConcept C17744445 @default.
- W2162248045 hasConcept C199360897 @default.
- W2162248045 hasConcept C199539241 @default.
- W2162248045 hasConcept C202444582 @default.
- W2162248045 hasConcept C2777691520 @default.
- W2162248045 hasConcept C2780510313 @default.
- W2162248045 hasConcept C33923547 @default.
- W2162248045 hasConcept C41008148 @default.
- W2162248045 hasConcept C80444323 @default.
- W2162248045 hasConceptScore W2162248045C116253237 @default.
- W2162248045 hasConceptScore W2162248045C136119220 @default.
- W2162248045 hasConceptScore W2162248045C177264268 @default.
- W2162248045 hasConceptScore W2162248045C17744445 @default.
- W2162248045 hasConceptScore W2162248045C199360897 @default.
- W2162248045 hasConceptScore W2162248045C199539241 @default.
- W2162248045 hasConceptScore W2162248045C202444582 @default.
- W2162248045 hasConceptScore W2162248045C2777691520 @default.
- W2162248045 hasConceptScore W2162248045C2780510313 @default.
- W2162248045 hasConceptScore W2162248045C33923547 @default.
- W2162248045 hasConceptScore W2162248045C41008148 @default.
- W2162248045 hasConceptScore W2162248045C80444323 @default.
- W2162248045 hasLocation W21622480451 @default.
- W2162248045 hasLocation W21622480452 @default.
- W2162248045 hasOpenAccess W2162248045 @default.
- W2162248045 hasPrimaryLocation W21622480451 @default.
- W2162248045 hasRelatedWork W1552405170 @default.
- W2162248045 hasRelatedWork W1563875108 @default.
- W2162248045 hasRelatedWork W1577073218 @default.
- W2162248045 hasRelatedWork W1583364777 @default.
- W2162248045 hasRelatedWork W2071986313 @default.
- W2162248045 hasRelatedWork W2104169671 @default.
- W2162248045 hasRelatedWork W2160436626 @default.
- W2162248045 hasRelatedWork W26484180 @default.
- W2162248045 hasRelatedWork W27605384 @default.
- W2162248045 hasRelatedWork W332295136 @default.
- W2162248045 isParatext "false" @default.
- W2162248045 isRetracted "false" @default.
- W2162248045 magId "2162248045" @default.
- W2162248045 workType "book-chapter" @default.