Matches in SemOpenAlex for { <https://semopenalex.org/work/W2291794626> ?p ?o ?g. }
Showing items 1 to 55 of
55
with 100 items per page.
- W2291794626 abstract "In this research-in-progress report, we elaborate on the alias calculus introduced in [1], [2]. The alias calculus is to determine whether two reference expressions at the given program point may address the same object at the run-time (in other words, whether one expression may be an alias of the other expression). The main intended application of the alias calculus is to support deductive verification of object-oriented programs. We show how aliases may be used in Hoare-style reasoning, hence derive at what program points we are to compute aliases and propose an algorithm that computes the required aliases. We also state future work directions." @default.
- W2291794626 created "2016-06-24" @default.
- W2291794626 creator A5009647708 @default.
- W2291794626 date "2012-01-01" @default.
- W2291794626 modified "2023-09-23" @default.
- W2291794626 title "Elaborating on the Alias Calculus" @default.
- W2291794626 cites W1553421328 @default.
- W2291794626 cites W1553894716 @default.
- W2291794626 cites W1623189237 @default.
- W2291794626 cites W1991837261 @default.
- W2291794626 cites W2021538292 @default.
- W2291794626 cites W2073407646 @default.
- W2291794626 cites W2137628566 @default.
- W2291794626 cites W2963815108 @default.
- W2291794626 cites W3146075203 @default.
- W2291794626 doi "https://doi.org/10.15514/syrcose-2012-6-21" @default.
- W2291794626 hasPublicationYear "2012" @default.
- W2291794626 type Work @default.
- W2291794626 sameAs 2291794626 @default.
- W2291794626 citedByCount "0" @default.
- W2291794626 crossrefType "proceedings-article" @default.
- W2291794626 hasAuthorship W2291794626A5009647708 @default.
- W2291794626 hasBestOaLocation W22917946261 @default.
- W2291794626 hasConcept C199343813 @default.
- W2291794626 hasConcept C199360897 @default.
- W2291794626 hasConcept C2777686260 @default.
- W2291794626 hasConcept C41008148 @default.
- W2291794626 hasConcept C46681722 @default.
- W2291794626 hasConcept C71924100 @default.
- W2291794626 hasConcept C77088390 @default.
- W2291794626 hasConceptScore W2291794626C199343813 @default.
- W2291794626 hasConceptScore W2291794626C199360897 @default.
- W2291794626 hasConceptScore W2291794626C2777686260 @default.
- W2291794626 hasConceptScore W2291794626C41008148 @default.
- W2291794626 hasConceptScore W2291794626C46681722 @default.
- W2291794626 hasConceptScore W2291794626C71924100 @default.
- W2291794626 hasConceptScore W2291794626C77088390 @default.
- W2291794626 hasLocation W22917946261 @default.
- W2291794626 hasLocation W22917946262 @default.
- W2291794626 hasOpenAccess W2291794626 @default.
- W2291794626 hasPrimaryLocation W22917946261 @default.
- W2291794626 hasRelatedWork W1527862632 @default.
- W2291794626 hasRelatedWork W1590149148 @default.
- W2291794626 hasRelatedWork W2045903735 @default.
- W2291794626 hasRelatedWork W2112962394 @default.
- W2291794626 hasRelatedWork W2118300983 @default.
- W2291794626 hasRelatedWork W2135396778 @default.
- W2291794626 hasRelatedWork W2166247150 @default.
- W2291794626 hasRelatedWork W3137189469 @default.
- W2291794626 hasRelatedWork W3150283263 @default.
- W2291794626 hasRelatedWork W4243252198 @default.
- W2291794626 isParatext "false" @default.
- W2291794626 isRetracted "false" @default.
- W2291794626 magId "2291794626" @default.
- W2291794626 workType "article" @default.