Matches in SemOpenAlex for { <https://semopenalex.org/work/W2912277628> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W2912277628 abstract "References are indispensable to computing practice. Unlike deep copying, reference copying permits constant-time data assignment and parameter passing for all objects. Unfortunately, reference copying introduces aliasing among mutable objects and complicates software behavior by requiring developers to distinguish between references and values of objects for sound reasoning. The objective of this dissertation is to preserve the benefits of reference copying but simplify reasoning. It introduces a notion of conceptually direct reasoning, in which programmers may ignore references and treat all variables directly as object values. It explains how this notion can be applied without compromising soundness. It proposes a new approach to parameter passing that avoids both aliasing and deep copying. It explains how to segregate the few components that require aliasing from the many that do not. It contains formal specifications of components and appropriate proof rules. As a proof of concept, it applies the principles to the design of DirectJava, a prototype language that is syntactically similar to Java but facilitates conceptually direct reasoning without resorting to copying." @default.
- W2912277628 created "2019-02-21" @default.
- W2912277628 creator A5034569997 @default.
- W2912277628 creator A5047326006 @default.
- W2912277628 date "2004-01-01" @default.
- W2912277628 modified "2023-09-23" @default.
- W2912277628 title "Direct reasoning" @default.
- W2912277628 hasPublicationYear "2004" @default.
- W2912277628 type Work @default.
- W2912277628 sameAs 2912277628 @default.
- W2912277628 citedByCount "11" @default.
- W2912277628 countsByYear W29122776282013 @default.
- W2912277628 crossrefType "journal-article" @default.
- W2912277628 hasAuthorship W2912277628A5034569997 @default.
- W2912277628 hasAuthorship W2912277628A5047326006 @default.
- W2912277628 hasConcept C124101348 @default.
- W2912277628 hasConcept C136536468 @default.
- W2912277628 hasConcept C154945302 @default.
- W2912277628 hasConcept C17744445 @default.
- W2912277628 hasConcept C199360897 @default.
- W2912277628 hasConcept C199539241 @default.
- W2912277628 hasConcept C2779151265 @default.
- W2912277628 hasConcept C2781238097 @default.
- W2912277628 hasConcept C39920170 @default.
- W2912277628 hasConcept C4069607 @default.
- W2912277628 hasConcept C41008148 @default.
- W2912277628 hasConcept C46681722 @default.
- W2912277628 hasConcept C548217200 @default.
- W2912277628 hasConcept C80444323 @default.
- W2912277628 hasConceptScore W2912277628C124101348 @default.
- W2912277628 hasConceptScore W2912277628C136536468 @default.
- W2912277628 hasConceptScore W2912277628C154945302 @default.
- W2912277628 hasConceptScore W2912277628C17744445 @default.
- W2912277628 hasConceptScore W2912277628C199360897 @default.
- W2912277628 hasConceptScore W2912277628C199539241 @default.
- W2912277628 hasConceptScore W2912277628C2779151265 @default.
- W2912277628 hasConceptScore W2912277628C2781238097 @default.
- W2912277628 hasConceptScore W2912277628C39920170 @default.
- W2912277628 hasConceptScore W2912277628C4069607 @default.
- W2912277628 hasConceptScore W2912277628C41008148 @default.
- W2912277628 hasConceptScore W2912277628C46681722 @default.
- W2912277628 hasConceptScore W2912277628C548217200 @default.
- W2912277628 hasConceptScore W2912277628C80444323 @default.
- W2912277628 hasLocation W29122776281 @default.
- W2912277628 hasOpenAccess W2912277628 @default.
- W2912277628 hasPrimaryLocation W29122776281 @default.
- W2912277628 hasRelatedWork W161506796 @default.
- W2912277628 hasRelatedWork W1620346340 @default.
- W2912277628 hasRelatedWork W1801083281 @default.
- W2912277628 hasRelatedWork W1871201330 @default.
- W2912277628 hasRelatedWork W1988874658 @default.
- W2912277628 hasRelatedWork W2000691319 @default.
- W2912277628 hasRelatedWork W2006872422 @default.
- W2912277628 hasRelatedWork W2022874433 @default.
- W2912277628 hasRelatedWork W2101900462 @default.
- W2912277628 hasRelatedWork W2106192381 @default.
- W2912277628 hasRelatedWork W2112236156 @default.
- W2912277628 hasRelatedWork W2117869045 @default.
- W2912277628 hasRelatedWork W2119929369 @default.
- W2912277628 hasRelatedWork W2137628566 @default.
- W2912277628 hasRelatedWork W2138855072 @default.
- W2912277628 hasRelatedWork W2141403355 @default.
- W2912277628 hasRelatedWork W2147650421 @default.
- W2912277628 hasRelatedWork W2166230870 @default.
- W2912277628 hasRelatedWork W3146075203 @default.
- W2912277628 hasRelatedWork W571800500 @default.
- W2912277628 isParatext "false" @default.
- W2912277628 isRetracted "false" @default.
- W2912277628 magId "2912277628" @default.
- W2912277628 workType "article" @default.