Matches in SemOpenAlex for { <https://semopenalex.org/work/W2509920464> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W2509920464 abstract "The initial goal of our hidden research programme was both straightforward and ambitious: give a semantics for software engineering, and in particular for the object paradigm, supporting correctness proofs that are as simple and mechanical as possible. This emphasizes proofs rather than models, and thus suggests an equational approach, rather than one based on higher order logic, denotational semantics, or any kind of model, because equational proofs achieve maximal simplicity and mechanization, and yet are fully expressive. We introduce powerful coinduction techniques for proving behavioral properties of complex systems. We make the no doubt outrageous claim that our hidden approach gives simpler proofs than other formalisms; this is because we exploit algebraic structure that most other approaches discard." @default.
- W2509920464 created "2016-09-16" @default.
- W2509920464 creator A5035441574 @default.
- W2509920464 creator A5059899663 @default.
- W2509920464 date "1996-12-31" @default.
- W2509920464 modified "2023-09-23" @default.
- W2509920464 title "Extended abstract of a hidden agenda" @default.
- W2509920464 hasPublicationYear "1996" @default.
- W2509920464 type Work @default.
- W2509920464 sameAs 2509920464 @default.
- W2509920464 citedByCount "3" @default.
- W2509920464 crossrefType "journal-article" @default.
- W2509920464 hasAuthorship W2509920464A5035441574 @default.
- W2509920464 hasAuthorship W2509920464A5059899663 @default.
- W2509920464 hasConcept C108710211 @default.
- W2509920464 hasConcept C111472728 @default.
- W2509920464 hasConcept C138885662 @default.
- W2509920464 hasConcept C156325763 @default.
- W2509920464 hasConcept C165696696 @default.
- W2509920464 hasConcept C171018156 @default.
- W2509920464 hasConcept C184337299 @default.
- W2509920464 hasConcept C199360897 @default.
- W2509920464 hasConcept C207648694 @default.
- W2509920464 hasConcept C2524010 @default.
- W2509920464 hasConcept C2776372474 @default.
- W2509920464 hasConcept C2780586882 @default.
- W2509920464 hasConcept C33923547 @default.
- W2509920464 hasConcept C38652104 @default.
- W2509920464 hasConcept C41008148 @default.
- W2509920464 hasConcept C55439883 @default.
- W2509920464 hasConcept C80444323 @default.
- W2509920464 hasConceptScore W2509920464C108710211 @default.
- W2509920464 hasConceptScore W2509920464C111472728 @default.
- W2509920464 hasConceptScore W2509920464C138885662 @default.
- W2509920464 hasConceptScore W2509920464C156325763 @default.
- W2509920464 hasConceptScore W2509920464C165696696 @default.
- W2509920464 hasConceptScore W2509920464C171018156 @default.
- W2509920464 hasConceptScore W2509920464C184337299 @default.
- W2509920464 hasConceptScore W2509920464C199360897 @default.
- W2509920464 hasConceptScore W2509920464C207648694 @default.
- W2509920464 hasConceptScore W2509920464C2524010 @default.
- W2509920464 hasConceptScore W2509920464C2776372474 @default.
- W2509920464 hasConceptScore W2509920464C2780586882 @default.
- W2509920464 hasConceptScore W2509920464C33923547 @default.
- W2509920464 hasConceptScore W2509920464C38652104 @default.
- W2509920464 hasConceptScore W2509920464C41008148 @default.
- W2509920464 hasConceptScore W2509920464C55439883 @default.
- W2509920464 hasConceptScore W2509920464C80444323 @default.
- W2509920464 hasLocation W25099204641 @default.
- W2509920464 hasOpenAccess W2509920464 @default.
- W2509920464 hasPrimaryLocation W25099204641 @default.
- W2509920464 hasRelatedWork W1034242088 @default.
- W2509920464 hasRelatedWork W1511660107 @default.
- W2509920464 hasRelatedWork W1518871620 @default.
- W2509920464 hasRelatedWork W1585401881 @default.
- W2509920464 hasRelatedWork W1871213645 @default.
- W2509920464 hasRelatedWork W2003553652 @default.
- W2509920464 hasRelatedWork W2006383766 @default.
- W2509920464 hasRelatedWork W2074516520 @default.
- W2509920464 hasRelatedWork W2120795805 @default.
- W2509920464 hasRelatedWork W2140583545 @default.
- W2509920464 hasRelatedWork W2188720730 @default.
- W2509920464 hasRelatedWork W2230407200 @default.
- W2509920464 hasRelatedWork W2315216645 @default.
- W2509920464 hasRelatedWork W2520477336 @default.
- W2509920464 hasRelatedWork W2898766805 @default.
- W2509920464 hasRelatedWork W2956641661 @default.
- W2509920464 hasRelatedWork W2980486477 @default.
- W2509920464 hasRelatedWork W3099800985 @default.
- W2509920464 hasRelatedWork W3185279362 @default.
- W2509920464 hasRelatedWork W3185513211 @default.
- W2509920464 isParatext "false" @default.
- W2509920464 isRetracted "false" @default.
- W2509920464 magId "2509920464" @default.
- W2509920464 workType "article" @default.