Matches in SemOpenAlex for { <https://semopenalex.org/work/W4297923573> ?p ?o ?g. }
Showing items 1 to 55 of
55
with 100 items per page.
- W4297923573 abstract "Verifying properties of object-oriented software requires a method for handling references in a simple and intuitive way, closely related to how O-O programmers reason about their programs. The method presented here, a Calculus of Object Programs, combines four components: compositional logic, a framework for describing program semantics and proving program properties; negative variables to address the specifics of O-O programming, in particular qualified calls; the alias calculus, which determines whether reference expressions can ever have the same value; and the calculus of object structures, a specification technique for the structures that arise during the execution of an object-oriented program. The article illustrates the Calculus by proving the standard algorithm for reversing a linked list." @default.
- W4297923573 created "2022-10-01" @default.
- W4297923573 creator A5087030856 @default.
- W4297923573 date "2011-07-11" @default.
- W4297923573 modified "2023-09-27" @default.
- W4297923573 title "Towards a Calculus of Object Programs" @default.
- W4297923573 doi "https://doi.org/10.48550/arxiv.1107.1999" @default.
- W4297923573 hasPublicationYear "2011" @default.
- W4297923573 type Work @default.
- W4297923573 citedByCount "0" @default.
- W4297923573 crossrefType "posted-content" @default.
- W4297923573 hasAuthorship W4297923573A5087030856 @default.
- W4297923573 hasBestOaLocation W42979235731 @default.
- W4297923573 hasConcept C11413529 @default.
- W4297923573 hasConcept C154945302 @default.
- W4297923573 hasConcept C184337299 @default.
- W4297923573 hasConcept C199343813 @default.
- W4297923573 hasConcept C199360897 @default.
- W4297923573 hasConcept C2777686260 @default.
- W4297923573 hasConcept C2781238097 @default.
- W4297923573 hasConcept C41008148 @default.
- W4297923573 hasConcept C46681722 @default.
- W4297923573 hasConcept C71924100 @default.
- W4297923573 hasConcept C73752529 @default.
- W4297923573 hasConcept C77088390 @default.
- W4297923573 hasConcept C80444323 @default.
- W4297923573 hasConceptScore W4297923573C11413529 @default.
- W4297923573 hasConceptScore W4297923573C154945302 @default.
- W4297923573 hasConceptScore W4297923573C184337299 @default.
- W4297923573 hasConceptScore W4297923573C199343813 @default.
- W4297923573 hasConceptScore W4297923573C199360897 @default.
- W4297923573 hasConceptScore W4297923573C2777686260 @default.
- W4297923573 hasConceptScore W4297923573C2781238097 @default.
- W4297923573 hasConceptScore W4297923573C41008148 @default.
- W4297923573 hasConceptScore W4297923573C46681722 @default.
- W4297923573 hasConceptScore W4297923573C71924100 @default.
- W4297923573 hasConceptScore W4297923573C73752529 @default.
- W4297923573 hasConceptScore W4297923573C77088390 @default.
- W4297923573 hasConceptScore W4297923573C80444323 @default.
- W4297923573 hasLocation W42979235731 @default.
- W4297923573 hasOpenAccess W4297923573 @default.
- W4297923573 hasPrimaryLocation W42979235731 @default.
- W4297923573 hasRelatedWork W1502289629 @default.
- W4297923573 hasRelatedWork W1587224678 @default.
- W4297923573 hasRelatedWork W1855927527 @default.
- W4297923573 hasRelatedWork W2045903735 @default.
- W4297923573 hasRelatedWork W2047793074 @default.
- W4297923573 hasRelatedWork W2090686886 @default.
- W4297923573 hasRelatedWork W2118300983 @default.
- W4297923573 hasRelatedWork W2187462042 @default.
- W4297923573 hasRelatedWork W1482645738 @default.
- W4297923573 hasRelatedWork W2528467228 @default.
- W4297923573 isParatext "false" @default.
- W4297923573 isRetracted "false" @default.
- W4297923573 workType "article" @default.