Matches in SemOpenAlex for { <https://semopenalex.org/work/W1634428131> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W1634428131 abstract "We have designed and prototyped a new approach for eliminating reference parameter aliases. This approach allows procedure calls with overlapping call-by-reference parameters, but guarantees that procedure bodies are alias-free. It involves writing multiple bodies for a procedure: up to one body for each possible aliasing combination. Procedure calls are dispatched to the appropriate procedure body based on the alias combination that occurs among the actual parameters and imported global variables; errors are generated if there is no corresponding body. This approach makes writing veri able client code simpler, since clients do not need to write code to determine the aliasing combination among actuals. Furthermore, since procedure bodies are free of aliases, their static analysis and veri cation is easier. The prototype language we have designed to explore these ideas incorporates some features to limit the number of alternative procedure bodies that a programmer must write. Stream: foundations and methodology. Mini-Track: languages and tools." @default.
- W1634428131 created "2016-06-24" @default.
- W1634428131 creator A5005148093 @default.
- W1634428131 creator A5014066009 @default.
- W1634428131 date "1998-01-01" @default.
- W1634428131 modified "2023-10-17" @default.
- W1634428131 title "ACL -- Eliminating Parameter Aliasing with Dynamic Dispatch" @default.
- W1634428131 cites W1491178396 @default.
- W1634428131 cites W1514819218 @default.
- W1634428131 cites W1533109738 @default.
- W1634428131 cites W1539637933 @default.
- W1634428131 cites W1583092647 @default.
- W1634428131 cites W1602914846 @default.
- W1634428131 cites W1770006921 @default.
- W1634428131 cites W1995384620 @default.
- W1634428131 cites W2006872422 @default.
- W1634428131 cites W2049984112 @default.
- W1634428131 cites W2051871492 @default.
- W1634428131 cites W2062950667 @default.
- W1634428131 cites W2082514774 @default.
- W1634428131 cites W2095219277 @default.
- W1634428131 cites W2104301310 @default.
- W1634428131 cites W2113226178 @default.
- W1634428131 cites W2136839747 @default.
- W1634428131 cites W2144015080 @default.
- W1634428131 cites W2752885492 @default.
- W1634428131 cites W2792939069 @default.
- W1634428131 hasPublicationYear "1998" @default.
- W1634428131 type Work @default.
- W1634428131 sameAs 1634428131 @default.
- W1634428131 citedByCount "6" @default.
- W1634428131 countsByYear W16344281312020 @default.
- W1634428131 crossrefType "journal-article" @default.
- W1634428131 hasAuthorship W1634428131A5005148093 @default.
- W1634428131 hasAuthorship W1634428131A5014066009 @default.
- W1634428131 hasConcept C106131492 @default.
- W1634428131 hasConcept C11413529 @default.
- W1634428131 hasConcept C124101348 @default.
- W1634428131 hasConcept C134306372 @default.
- W1634428131 hasConcept C151201525 @default.
- W1634428131 hasConcept C177264268 @default.
- W1634428131 hasConcept C199360897 @default.
- W1634428131 hasConcept C2776760102 @default.
- W1634428131 hasConcept C2778514511 @default.
- W1634428131 hasConcept C31972630 @default.
- W1634428131 hasConcept C33923547 @default.
- W1634428131 hasConcept C4069607 @default.
- W1634428131 hasConcept C41008148 @default.
- W1634428131 hasConcept C46681722 @default.
- W1634428131 hasConceptScore W1634428131C106131492 @default.
- W1634428131 hasConceptScore W1634428131C11413529 @default.
- W1634428131 hasConceptScore W1634428131C124101348 @default.
- W1634428131 hasConceptScore W1634428131C134306372 @default.
- W1634428131 hasConceptScore W1634428131C151201525 @default.
- W1634428131 hasConceptScore W1634428131C177264268 @default.
- W1634428131 hasConceptScore W1634428131C199360897 @default.
- W1634428131 hasConceptScore W1634428131C2776760102 @default.
- W1634428131 hasConceptScore W1634428131C2778514511 @default.
- W1634428131 hasConceptScore W1634428131C31972630 @default.
- W1634428131 hasConceptScore W1634428131C33923547 @default.
- W1634428131 hasConceptScore W1634428131C4069607 @default.
- W1634428131 hasConceptScore W1634428131C41008148 @default.
- W1634428131 hasConceptScore W1634428131C46681722 @default.
- W1634428131 hasLocation W16344281311 @default.
- W1634428131 hasOpenAccess W1634428131 @default.
- W1634428131 hasPrimaryLocation W16344281311 @default.
- W1634428131 hasRelatedWork W1497166859 @default.
- W1634428131 hasRelatedWork W1505889506 @default.
- W1634428131 hasRelatedWork W1534760550 @default.
- W1634428131 hasRelatedWork W1850491248 @default.
- W1634428131 hasRelatedWork W1972969106 @default.
- W1634428131 hasRelatedWork W1979582240 @default.
- W1634428131 hasRelatedWork W2042465741 @default.
- W1634428131 hasRelatedWork W2050320220 @default.
- W1634428131 hasRelatedWork W2073407646 @default.
- W1634428131 hasRelatedWork W2074516823 @default.
- W1634428131 hasRelatedWork W2094788990 @default.
- W1634428131 hasRelatedWork W2153293846 @default.
- W1634428131 hasRelatedWork W2183884480 @default.
- W1634428131 hasRelatedWork W2280231349 @default.
- W1634428131 hasRelatedWork W2561738593 @default.
- W1634428131 hasRelatedWork W2761352457 @default.
- W1634428131 hasRelatedWork W2908015413 @default.
- W1634428131 hasRelatedWork W29413014 @default.
- W1634428131 hasRelatedWork W3023611779 @default.
- W1634428131 hasRelatedWork W3138245174 @default.
- W1634428131 isParatext "false" @default.
- W1634428131 isRetracted "false" @default.
- W1634428131 magId "1634428131" @default.
- W1634428131 workType "article" @default.