Matches in SemOpenAlex for { <https://semopenalex.org/work/W39612086> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W39612086 abstract "Aspects have emerged as a powerful tool in the design and development of systems, allowing for the encapsulation of program transformations. In earlier work, we described an untyped calculus of aspect programs with a direct description of the dynamic semantics. This calculus provides a specification for the correctness of weaving. In this paper, we turn our attention to the interaction of aspects and types, whose subtleties are amply illustrated by the difficulties encountered by current compilers of aspect languages. We develop a typed calculus of aspect programs that includes inner classes, concurrency and dynamic arrival of new advice. To our knowledge, this is the first source-level typing system for a class-based aspectoriented language. We prove that types are preserved by reduction in the aspect calculus and that well-typed programs make progress. We also show that weaving preserves typability of programs by mapping well-typed aspect programs to well-typed class based programs." @default.
- W39612086 created "2016-06-24" @default.
- W39612086 creator A5012868882 @default.
- W39612086 creator A5056673780 @default.
- W39612086 creator A5089477252 @default.
- W39612086 date "2003-01-01" @default.
- W39612086 modified "2023-09-27" @default.
- W39612086 title "A Typed Calculus of Aspect-oriented Programs?" @default.
- W39612086 cites W1480731572 @default.
- W39612086 cites W1482171176 @default.
- W39612086 cites W1494298645 @default.
- W39612086 cites W1500601312 @default.
- W39612086 cites W1502457987 @default.
- W39612086 cites W1544633123 @default.
- W39612086 cites W1557561422 @default.
- W39612086 cites W1582822229 @default.
- W39612086 cites W1590586053 @default.
- W39612086 cites W1610570299 @default.
- W39612086 cites W1965418329 @default.
- W39612086 cites W2023661080 @default.
- W39612086 cites W2065141544 @default.
- W39612086 cites W2080648611 @default.
- W39612086 cites W2121038016 @default.
- W39612086 cites W2124476310 @default.
- W39612086 cites W2129063689 @default.
- W39612086 cites W2137417304 @default.
- W39612086 cites W2143238865 @default.
- W39612086 cites W2157405063 @default.
- W39612086 cites W2163009019 @default.
- W39612086 cites W2163420823 @default.
- W39612086 cites W2168986107 @default.
- W39612086 cites W2170800927 @default.
- W39612086 hasPublicationYear "2003" @default.
- W39612086 type Work @default.
- W39612086 sameAs 39612086 @default.
- W39612086 citedByCount "3" @default.
- W39612086 countsByYear W396120862015 @default.
- W39612086 crossrefType "journal-article" @default.
- W39612086 hasAuthorship W39612086A5012868882 @default.
- W39612086 hasAuthorship W39612086A5056673780 @default.
- W39612086 hasAuthorship W39612086A5089477252 @default.
- W39612086 hasConcept C154945302 @default.
- W39612086 hasConcept C169590947 @default.
- W39612086 hasConcept C193702766 @default.
- W39612086 hasConcept C199343813 @default.
- W39612086 hasConcept C199360897 @default.
- W39612086 hasConcept C2777212361 @default.
- W39612086 hasConcept C2777686260 @default.
- W39612086 hasConcept C2777904410 @default.
- W39612086 hasConcept C41008148 @default.
- W39612086 hasConcept C55439883 @default.
- W39612086 hasConcept C60051680 @default.
- W39612086 hasConcept C71924100 @default.
- W39612086 hasConceptScore W39612086C154945302 @default.
- W39612086 hasConceptScore W39612086C169590947 @default.
- W39612086 hasConceptScore W39612086C193702766 @default.
- W39612086 hasConceptScore W39612086C199343813 @default.
- W39612086 hasConceptScore W39612086C199360897 @default.
- W39612086 hasConceptScore W39612086C2777212361 @default.
- W39612086 hasConceptScore W39612086C2777686260 @default.
- W39612086 hasConceptScore W39612086C2777904410 @default.
- W39612086 hasConceptScore W39612086C41008148 @default.
- W39612086 hasConceptScore W39612086C55439883 @default.
- W39612086 hasConceptScore W39612086C60051680 @default.
- W39612086 hasConceptScore W39612086C71924100 @default.
- W39612086 hasLocation W396120861 @default.
- W39612086 hasOpenAccess W39612086 @default.
- W39612086 hasPrimaryLocation W396120861 @default.
- W39612086 hasRelatedWork W1500601312 @default.
- W39612086 hasRelatedWork W1535103785 @default.
- W39612086 hasRelatedWork W1559822977 @default.
- W39612086 hasRelatedWork W1574374732 @default.
- W39612086 hasRelatedWork W1583769822 @default.
- W39612086 hasRelatedWork W1610570299 @default.
- W39612086 hasRelatedWork W1851327982 @default.
- W39612086 hasRelatedWork W1855341394 @default.
- W39612086 hasRelatedWork W187667264 @default.
- W39612086 hasRelatedWork W1965418329 @default.
- W39612086 hasRelatedWork W2040348150 @default.
- W39612086 hasRelatedWork W2075867419 @default.
- W39612086 hasRelatedWork W2082319124 @default.
- W39612086 hasRelatedWork W2083498319 @default.
- W39612086 hasRelatedWork W2124476310 @default.
- W39612086 hasRelatedWork W2136682657 @default.
- W39612086 hasRelatedWork W2157405063 @default.
- W39612086 hasRelatedWork W2157514495 @default.
- W39612086 hasRelatedWork W2164067955 @default.
- W39612086 hasRelatedWork W3142482222 @default.
- W39612086 isParatext "false" @default.
- W39612086 isRetracted "false" @default.
- W39612086 magId "39612086" @default.
- W39612086 workType "article" @default.