Matches in SemOpenAlex for { <https://semopenalex.org/work/W2129292012> ?p ?o ?g. }
Showing items 1 to 64 of
64
with 100 items per page.
- W2129292012 endingPage "145" @default.
- W2129292012 startingPage "114" @default.
- W2129292012 abstract "Development graphs are a tool for dealing with structured specifications in a formal program development in order to ease the management of change and reusing proofs. In this work, we extend development graphs with hiding (e.g. hidden operations). Hiding is a particularly difficult to realize operation, since it does not admit such a good decomposition of the involved specifications as other structuring operations do. We develop both a semantics and proof rules for development graphs with hiding. The rules are proven to be sound, and also complete relative to an oracle for conservative extensions. We also show that an absolutely complete set of rules cannot exist. The whole framework is developed in a way independent of the underlying logical system (and thus also does not prescribe the nature of the parts of a specification that may be hidden). We also show how various other logic independent specification formalisms can be mapped into development graphs; thus, development graphs can serve as a kernel formalism for management of proofs and of change." @default.
- W2129292012 created "2016-06-24" @default.
- W2129292012 creator A5019184468 @default.
- W2129292012 creator A5040001719 @default.
- W2129292012 creator A5058390268 @default.
- W2129292012 date "2006-04-01" @default.
- W2129292012 modified "2023-09-29" @default.
- W2129292012 title "Development graphs—Proof management for structured specifications" @default.
- W2129292012 cites W1551192066 @default.
- W2129292012 cites W1993365229 @default.
- W2129292012 cites W1994033778 @default.
- W2129292012 cites W1997753816 @default.
- W2129292012 cites W2010883554 @default.
- W2129292012 cites W2062871376 @default.
- W2129292012 cites W2070348936 @default.
- W2129292012 cites W2132371811 @default.
- W2129292012 cites W2293815615 @default.
- W2129292012 cites W2500166317 @default.
- W2129292012 doi "https://doi.org/10.1016/j.jlap.2005.09.005" @default.
- W2129292012 hasPublicationYear "2006" @default.
- W2129292012 type Work @default.
- W2129292012 sameAs 2129292012 @default.
- W2129292012 citedByCount "51" @default.
- W2129292012 countsByYear W21292920122012 @default.
- W2129292012 countsByYear W21292920122013 @default.
- W2129292012 countsByYear W21292920122014 @default.
- W2129292012 countsByYear W21292920122015 @default.
- W2129292012 countsByYear W21292920122017 @default.
- W2129292012 countsByYear W21292920122018 @default.
- W2129292012 countsByYear W21292920122019 @default.
- W2129292012 countsByYear W21292920122021 @default.
- W2129292012 countsByYear W21292920122022 @default.
- W2129292012 crossrefType "journal-article" @default.
- W2129292012 hasAuthorship W2129292012A5019184468 @default.
- W2129292012 hasAuthorship W2129292012A5040001719 @default.
- W2129292012 hasAuthorship W2129292012A5058390268 @default.
- W2129292012 hasBestOaLocation W21292920121 @default.
- W2129292012 hasConcept C199360897 @default.
- W2129292012 hasConcept C41008148 @default.
- W2129292012 hasConcept C80444323 @default.
- W2129292012 hasConceptScore W2129292012C199360897 @default.
- W2129292012 hasConceptScore W2129292012C41008148 @default.
- W2129292012 hasConceptScore W2129292012C80444323 @default.
- W2129292012 hasIssue "1-2" @default.
- W2129292012 hasLocation W21292920121 @default.
- W2129292012 hasOpenAccess W2129292012 @default.
- W2129292012 hasPrimaryLocation W21292920121 @default.
- W2129292012 hasRelatedWork W1527862632 @default.
- W2129292012 hasRelatedWork W2109507516 @default.
- W2129292012 hasRelatedWork W2112962394 @default.
- W2129292012 hasRelatedWork W2118300983 @default.
- W2129292012 hasRelatedWork W2135396778 @default.
- W2129292012 hasRelatedWork W2382501300 @default.
- W2129292012 hasRelatedWork W2740990710 @default.
- W2129292012 hasRelatedWork W3137189469 @default.
- W2129292012 hasRelatedWork W4235530921 @default.
- W2129292012 hasRelatedWork W4243252198 @default.
- W2129292012 hasVolume "67" @default.
- W2129292012 isParatext "false" @default.
- W2129292012 isRetracted "false" @default.
- W2129292012 magId "2129292012" @default.
- W2129292012 workType "article" @default.