Matches in SemOpenAlex for { <https://semopenalex.org/work/W1549492320> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W1549492320 abstract "ASL+ is a formalism for specification and programming in-the-large, based on an arbitrary institution. It has rules for proving the satisfaction and refinement of specifications, which can be seen as a type theory with subtyping, including contravariant refinement for II-abstracted specifications and a notion of stratified equality for higher-order objects. We describe the syntax of the language and a partial equivalence relation semantics. This style of semantics is familiar from subtyping calculi, but a novelty here is the use of a hierarchy of typed domains instead of a single untyped domain. We introduce the formal system for proving satisfaction and refinement and describe how it is linked to proof systems of the underlying programming and specification languages." @default.
- W1549492320 created "2016-06-24" @default.
- W1549492320 creator A5013254098 @default.
- W1549492320 date "1995-01-01" @default.
- W1549492320 modified "2023-09-27" @default.
- W1549492320 title "Types, subtypes, and ASL+" @default.
- W1549492320 cites W1488490914 @default.
- W1549492320 cites W2010883554 @default.
- W1549492320 cites W2057648994 @default.
- W1549492320 cites W2071749035 @default.
- W1549492320 cites W2105126759 @default.
- W1549492320 cites W2114958714 @default.
- W1549492320 cites W2132371811 @default.
- W1549492320 cites W2144778998 @default.
- W1549492320 cites W2178257282 @default.
- W1549492320 cites W2792739471 @default.
- W1549492320 cites W3022794709 @default.
- W1549492320 doi "https://doi.org/10.1007/bfb0014424" @default.
- W1549492320 hasPublicationYear "1995" @default.
- W1549492320 type Work @default.
- W1549492320 sameAs 1549492320 @default.
- W1549492320 citedByCount "3" @default.
- W1549492320 crossrefType "book-chapter" @default.
- W1549492320 hasAuthorship W1549492320A5013254098 @default.
- W1549492320 hasConcept C142362112 @default.
- W1549492320 hasConcept C153349607 @default.
- W1549492320 hasConcept C156325763 @default.
- W1549492320 hasConcept C184337299 @default.
- W1549492320 hasConcept C18903297 @default.
- W1549492320 hasConcept C199360897 @default.
- W1549492320 hasConcept C2777299769 @default.
- W1549492320 hasConcept C41008148 @default.
- W1549492320 hasConcept C42383842 @default.
- W1549492320 hasConcept C558565934 @default.
- W1549492320 hasConcept C73301696 @default.
- W1549492320 hasConcept C80444323 @default.
- W1549492320 hasConcept C83852419 @default.
- W1549492320 hasConcept C86803240 @default.
- W1549492320 hasConcept C93682546 @default.
- W1549492320 hasConceptScore W1549492320C142362112 @default.
- W1549492320 hasConceptScore W1549492320C153349607 @default.
- W1549492320 hasConceptScore W1549492320C156325763 @default.
- W1549492320 hasConceptScore W1549492320C184337299 @default.
- W1549492320 hasConceptScore W1549492320C18903297 @default.
- W1549492320 hasConceptScore W1549492320C199360897 @default.
- W1549492320 hasConceptScore W1549492320C2777299769 @default.
- W1549492320 hasConceptScore W1549492320C41008148 @default.
- W1549492320 hasConceptScore W1549492320C42383842 @default.
- W1549492320 hasConceptScore W1549492320C558565934 @default.
- W1549492320 hasConceptScore W1549492320C73301696 @default.
- W1549492320 hasConceptScore W1549492320C80444323 @default.
- W1549492320 hasConceptScore W1549492320C83852419 @default.
- W1549492320 hasConceptScore W1549492320C86803240 @default.
- W1549492320 hasConceptScore W1549492320C93682546 @default.
- W1549492320 hasLocation W15494923201 @default.
- W1549492320 hasOpenAccess W1549492320 @default.
- W1549492320 hasPrimaryLocation W15494923201 @default.
- W1549492320 hasRelatedWork W1505448917 @default.
- W1549492320 hasRelatedWork W1663174014 @default.
- W1549492320 hasRelatedWork W1675514321 @default.
- W1549492320 hasRelatedWork W1880655000 @default.
- W1549492320 hasRelatedWork W19552920 @default.
- W1549492320 hasRelatedWork W1994115046 @default.
- W1549492320 hasRelatedWork W2074641339 @default.
- W1549492320 hasRelatedWork W2084788336 @default.
- W1549492320 hasRelatedWork W2116312647 @default.
- W1549492320 hasRelatedWork W2143928515 @default.
- W1549492320 hasRelatedWork W2147207738 @default.
- W1549492320 hasRelatedWork W2149426464 @default.
- W1549492320 hasRelatedWork W2290077656 @default.
- W1549492320 hasRelatedWork W2296691843 @default.
- W1549492320 hasRelatedWork W2964336626 @default.
- W1549492320 hasRelatedWork W3103302906 @default.
- W1549492320 hasRelatedWork W351893248 @default.
- W1549492320 hasRelatedWork W402690324 @default.
- W1549492320 hasRelatedWork W78819259 @default.
- W1549492320 hasRelatedWork W2184549662 @default.
- W1549492320 isParatext "false" @default.
- W1549492320 isRetracted "false" @default.
- W1549492320 magId "1549492320" @default.
- W1549492320 workType "book-chapter" @default.