FRINK Linked Data Fragments server

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

• W2033567995 abstract "Sharp retrenchment is introduced and brie y justified informally, as a liberalisation of refinement. In sharp retrenchment the relationship between an abstract operation and its concrete counterpart is mediated by extra predicates, allowing most particularly the description of non-refinement-like properties, and the mixing of I/O and state aspects in the passage between levels of abstraction. Sharp retrenchments are brie y contrasted with unsharp ones. Sharp retrenchments are shown to have a natural law of composition, and the way in which refinements may be viewed as sharp retrenchments is discussed. Modulated refinement is introduced as a version of refinement allowing mixing of I/O and state aspects, in order to facilitate comparison between sharp retrenchment and refinement, and various notions of simulation are considered in this context, specifically: stepwise simulation, the ability of simulator to mimic a sequence of execution steps of the simulatee; strong simulation, in which states and step labels are mapped independently between simulatee and simulator; and the refinement notion itself. Special cases of sharp retrenchment are shown to possess various subsets of these simulation properties, and the extent to which sharp retrenchments contain refinements within them is addressed. The details of the theory are worked out for the B-Method, though the applicability of the underlying ideas is not limited to just that formalism." @default.
• W2033567995 created "2016-06-24" @default.
• W2033567995 creator A5034043551 @default.
• W2033567995 creator A5075794170 @default.
• W2033567995 date "1999-12-01" @default.
• W2033567995 modified "2023-09-22" @default.
• W2033567995 title "Sharp Retrenchment, Modulated Refinement and Simulation" @default.
• W2033567995 cites W1489503486 @default.
• W2033567995 cites W1489543024 @default.
• W2033567995 cites W1492575033 @default.
• W2033567995 cites W1493315919 @default.
• W2033567995 cites W1512286261 @default.
• W2033567995 cites W1519170652 @default.
• W2033567995 cites W1525928249 @default.
• W2033567995 cites W1529897089 @default.
• W2033567995 cites W1532627295 @default.
• W2033567995 cites W1541721537 @default.
• W2033567995 cites W1560393601 @default.
• W2033567995 cites W1572969462 @default.
• W2033567995 cites W1575221187 @default.
• W2033567995 cites W1581884822 @default.
• W2033567995 cites W1588335385 @default.
• W2033567995 cites W1600849051 @default.
• W2033567995 cites W1825706767 @default.
• W2033567995 cites W1964300195 @default.
• W2033567995 cites W1970495662 @default.
• W2033567995 cites W2015688007 @default.
• W2033567995 cites W2025151086 @default.
• W2033567995 cites W2035762555 @default.
• W2033567995 cites W2043279475 @default.
• W2033567995 cites W2086359275 @default.
• W2033567995 cites W2090551028 @default.
• W2033567995 cites W2096445092 @default.
• W2033567995 cites W2132107743 @default.
• W2033567995 cites W2144973245 @default.
• W2033567995 cites W2149449299 @default.
• W2033567995 cites W2259316458 @default.
• W2033567995 cites W2289992936 @default.
• W2033567995 cites W2302833172 @default.
• W2033567995 cites W2398039248 @default.
• W2033567995 cites W2488585569 @default.
• W2033567995 cites W79592965 @default.
• W2033567995 cites W3185910042 @default.
• W2033567995 doi "https://doi.org/10.1007/s001650050056" @default.
• W2033567995 hasPublicationYear "1999" @default.
• W2033567995 type Work @default.
• W2033567995 sameAs 2033567995 @default.
• W2033567995 citedByCount "28" @default.
• W2033567995 countsByYear W20335679952013 @default.
• W2033567995 countsByYear W20335679952014 @default.
• W2033567995 crossrefType "journal-article" @default.
• W2033567995 hasAuthorship W2033567995A5034043551 @default.
• W2033567995 hasAuthorship W2033567995A5075794170 @default.
• W2033567995 hasBestOaLocation W20335679952 @default.
• W2033567995 hasConcept C101173714 @default.
• W2033567995 hasConcept C11413529 @default.
• W2033567995 hasConcept C127313418 @default.
• W2033567995 hasConcept C142362112 @default.
• W2033567995 hasConcept C151730666 @default.
• W2033567995 hasConcept C153349607 @default.
• W2033567995 hasConcept C17744445 @default.
• W2033567995 hasConcept C24858836 @default.
• W2033567995 hasConcept C2779343474 @default.
• W2033567995 hasConcept C3116431 @default.
• W2033567995 hasConcept C41008148 @default.
• W2033567995 hasConcept C558565934 @default.
• W2033567995 hasConcept C73301696 @default.
• W2033567995 hasConcept C80444323 @default.
• W2033567995 hasConcept C90483712 @default.
• W2033567995 hasConceptScore W2033567995C101173714 @default.
• W2033567995 hasConceptScore W2033567995C11413529 @default.
• W2033567995 hasConceptScore W2033567995C127313418 @default.
• W2033567995 hasConceptScore W2033567995C142362112 @default.
• W2033567995 hasConceptScore W2033567995C151730666 @default.
• W2033567995 hasConceptScore W2033567995C153349607 @default.
• W2033567995 hasConceptScore W2033567995C17744445 @default.
• W2033567995 hasConceptScore W2033567995C24858836 @default.
• W2033567995 hasConceptScore W2033567995C2779343474 @default.
• W2033567995 hasConceptScore W2033567995C3116431 @default.
• W2033567995 hasConceptScore W2033567995C41008148 @default.
• W2033567995 hasConceptScore W2033567995C558565934 @default.
• W2033567995 hasConceptScore W2033567995C73301696 @default.
• W2033567995 hasConceptScore W2033567995C80444323 @default.
• W2033567995 hasConceptScore W2033567995C90483712 @default.
• W2033567995 hasLocation W20335679951 @default.
• W2033567995 hasLocation W20335679952 @default.
• W2033567995 hasOpenAccess W2033567995 @default.
• W2033567995 hasPrimaryLocation W20335679951 @default.
• W2033567995 hasRelatedWork W1503457993 @default.
• W2033567995 hasRelatedWork W1510595519 @default.
• W2033567995 hasRelatedWork W1511826042 @default.
• W2033567995 hasRelatedWork W1519170652 @default.
• W2033567995 hasRelatedWork W1525928249 @default.
• W2033567995 hasRelatedWork W1541721537 @default.
• W2033567995 hasRelatedWork W1545892695 @default.
• W2033567995 hasRelatedWork W1552647623 @default.
• W2033567995 hasRelatedWork W1559870885 @default.
• W2033567995 hasRelatedWork W1564123263 @default.
• W2033567995 hasRelatedWork W1567845207 @default.
• W2033567995 hasRelatedWork W1572969462 @default.

• next