Matches in SemOpenAlex for { <https://semopenalex.org/work/W2030096232> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W2030096232 endingPage "249" @default.
- W2030096232 startingPage "123" @default.
- W2030096232 abstract "A language called ASL for describing structured algebraic specifications is presented. ASL is a declarative higher-order language. It contains constructs for building (possibly infinite) signatures, sets of terms, and sets of formulas as well as constructs embodying primitive operations on algebraic specifications. In particular, ASL includes a very general ‘observability’ operation which can be used to behaviourally abstract from a specification. The expressive power of these operations allows the choice of a simple notion of implementation which is transitive and monotonic. Syntax and two different denotational semantics, a ‘presentation semantics’ and a ‘model class semantics’, are given. The presentation semantics is used for showing the existence of a complete (semiformal) proof system for specifications, whereas the model class semantics is fully abstract with respect to specification expressions. Both semantics are related by a homomorphism. Moreover, computability questions are studied. It is shown that any recursively enumerable signature and any class of algebras which is ‘pseudo-axiomatizable’ in a recursively enumerable way are definable in ASL; also, every computable transformation of specifications can be expressed in ASL." @default.
- W2030096232 created "2016-06-24" @default.
- W2030096232 creator A5042265989 @default.
- W2030096232 date "1986-01-01" @default.
- W2030096232 modified "2023-10-16" @default.
- W2030096232 title "Structured algebraic specifications: A Kernel language" @default.
- W2030096232 cites W170360595 @default.
- W2030096232 cites W1966748830 @default.
- W2030096232 cites W1969438769 @default.
- W2030096232 cites W1970554275 @default.
- W2030096232 cites W1983608286 @default.
- W2030096232 cites W1989177109 @default.
- W2030096232 cites W1998691016 @default.
- W2030096232 cites W2007270285 @default.
- W2030096232 cites W2007398626 @default.
- W2030096232 cites W2007975299 @default.
- W2030096232 cites W2012721044 @default.
- W2030096232 cites W2039112578 @default.
- W2030096232 cites W2039601877 @default.
- W2030096232 cites W2050382208 @default.
- W2030096232 cites W2055364993 @default.
- W2030096232 cites W2062024564 @default.
- W2030096232 cites W2062341323 @default.
- W2030096232 cites W2092773468 @default.
- W2030096232 cites W2172307690 @default.
- W2030096232 cites W4206667141 @default.
- W2030096232 cites W4213381987 @default.
- W2030096232 doi "https://doi.org/10.1016/0304-3975(86)90051-4" @default.
- W2030096232 hasPublicationYear "1986" @default.
- W2030096232 type Work @default.
- W2030096232 sameAs 2030096232 @default.
- W2030096232 citedByCount "113" @default.
- W2030096232 countsByYear W20300962322012 @default.
- W2030096232 countsByYear W20300962322015 @default.
- W2030096232 countsByYear W20300962322017 @default.
- W2030096232 countsByYear W20300962322018 @default.
- W2030096232 countsByYear W20300962322022 @default.
- W2030096232 crossrefType "journal-article" @default.
- W2030096232 hasAuthorship W2030096232A5042265989 @default.
- W2030096232 hasBestOaLocation W20300962321 @default.
- W2030096232 hasConcept C118615104 @default.
- W2030096232 hasConcept C136119220 @default.
- W2030096232 hasConcept C154945302 @default.
- W2030096232 hasConcept C156325763 @default.
- W2030096232 hasConcept C184337299 @default.
- W2030096232 hasConcept C199360897 @default.
- W2030096232 hasConcept C202444582 @default.
- W2030096232 hasConcept C207648694 @default.
- W2030096232 hasConcept C2777212361 @default.
- W2030096232 hasConcept C33923547 @default.
- W2030096232 hasConcept C4042151 @default.
- W2030096232 hasConcept C41008148 @default.
- W2030096232 hasConcept C80444323 @default.
- W2030096232 hasConceptScore W2030096232C118615104 @default.
- W2030096232 hasConceptScore W2030096232C136119220 @default.
- W2030096232 hasConceptScore W2030096232C154945302 @default.
- W2030096232 hasConceptScore W2030096232C156325763 @default.
- W2030096232 hasConceptScore W2030096232C184337299 @default.
- W2030096232 hasConceptScore W2030096232C199360897 @default.
- W2030096232 hasConceptScore W2030096232C202444582 @default.
- W2030096232 hasConceptScore W2030096232C207648694 @default.
- W2030096232 hasConceptScore W2030096232C2777212361 @default.
- W2030096232 hasConceptScore W2030096232C33923547 @default.
- W2030096232 hasConceptScore W2030096232C4042151 @default.
- W2030096232 hasConceptScore W2030096232C41008148 @default.
- W2030096232 hasConceptScore W2030096232C80444323 @default.
- W2030096232 hasLocation W20300962321 @default.
- W2030096232 hasOpenAccess W2030096232 @default.
- W2030096232 hasPrimaryLocation W20300962321 @default.
- W2030096232 hasRelatedWork W1422032522 @default.
- W2030096232 hasRelatedWork W1558467648 @default.
- W2030096232 hasRelatedWork W1822389052 @default.
- W2030096232 hasRelatedWork W1855927527 @default.
- W2030096232 hasRelatedWork W2035082615 @default.
- W2030096232 hasRelatedWork W2517585486 @default.
- W2030096232 hasRelatedWork W2623701236 @default.
- W2030096232 hasRelatedWork W2804733059 @default.
- W2030096232 hasRelatedWork W626707627 @default.
- W2030096232 hasRelatedWork W783270985 @default.
- W2030096232 hasVolume "42" @default.
- W2030096232 isParatext "false" @default.
- W2030096232 isRetracted "false" @default.
- W2030096232 magId "2030096232" @default.
- W2030096232 workType "article" @default.