Matches in SemOpenAlex for { <https://semopenalex.org/work/W2067607302> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W2067607302 abstract "Aspect-oriented programming (AOP) has been shown to be a useful model for software development. Special care must be taken when we try to adapt AOP to strongly typed functional languages which come with features like a type inference mechanism, polymorphic types, higher-order functions and type-scoped pointcuts. Our main contribution lies in a seamless integration of these two paradigms through a static weaving process which deals with around advices with type-scoped pointcuts in the presence of higher-order functions. We give a source-level type inference system for a higher-order, polymorphic language coupled with type-scoped pointcuts. The type system ensures that base programs are oblivious to the type of around advices. We present a type-directed translation scheme which resolves all advice applications at static time. The translation removes advice declarations from source programs and produces translated code which is typable in the Hindley-Milner system." @default.
- W2067607302 created "2016-06-24" @default.
- W2067607302 creator A5038770856 @default.
- W2067607302 creator A5073352371 @default.
- W2067607302 creator A5074307489 @default.
- W2067607302 date "2006-01-09" @default.
- W2067607302 modified "2023-10-18" @default.
- W2067607302 title "Type-directed weaving of aspects for higher-order functional languages" @default.
- W2067607302 cites W1500601312 @default.
- W2067607302 cites W1965418329 @default.
- W2067607302 cites W1996961096 @default.
- W2067607302 cites W2026049208 @default.
- W2067607302 cites W2059895047 @default.
- W2067607302 cites W2087307736 @default.
- W2067607302 cites W2093896470 @default.
- W2067607302 cites W2124476310 @default.
- W2067607302 cites W2127491409 @default.
- W2067607302 cites W2157405063 @default.
- W2067607302 cites W2159410989 @default.
- W2067607302 cites W2997671293 @default.
- W2067607302 cites W4250126356 @default.
- W2067607302 doi "https://doi.org/10.1145/1111542.1111555" @default.
- W2067607302 hasPublicationYear "2006" @default.
- W2067607302 type Work @default.
- W2067607302 sameAs 2067607302 @default.
- W2067607302 citedByCount "19" @default.
- W2067607302 countsByYear W20676073022013 @default.
- W2067607302 crossrefType "proceedings-article" @default.
- W2067607302 hasAuthorship W2067607302A5038770856 @default.
- W2067607302 hasAuthorship W2067607302A5073352371 @default.
- W2067607302 hasAuthorship W2067607302A5074307489 @default.
- W2067607302 hasBestOaLocation W20676073022 @default.
- W2067607302 hasConcept C115903868 @default.
- W2067607302 hasConcept C154945302 @default.
- W2067607302 hasConcept C18903297 @default.
- W2067607302 hasConcept C198370458 @default.
- W2067607302 hasConcept C199360897 @default.
- W2067607302 hasConcept C2776214188 @default.
- W2067607302 hasConcept C2777299769 @default.
- W2067607302 hasConcept C2777904410 @default.
- W2067607302 hasConcept C41008148 @default.
- W2067607302 hasConcept C42383842 @default.
- W2067607302 hasConcept C60051680 @default.
- W2067607302 hasConcept C86803240 @default.
- W2067607302 hasConcept C98045186 @default.
- W2067607302 hasConceptScore W2067607302C115903868 @default.
- W2067607302 hasConceptScore W2067607302C154945302 @default.
- W2067607302 hasConceptScore W2067607302C18903297 @default.
- W2067607302 hasConceptScore W2067607302C198370458 @default.
- W2067607302 hasConceptScore W2067607302C199360897 @default.
- W2067607302 hasConceptScore W2067607302C2776214188 @default.
- W2067607302 hasConceptScore W2067607302C2777299769 @default.
- W2067607302 hasConceptScore W2067607302C2777904410 @default.
- W2067607302 hasConceptScore W2067607302C41008148 @default.
- W2067607302 hasConceptScore W2067607302C42383842 @default.
- W2067607302 hasConceptScore W2067607302C60051680 @default.
- W2067607302 hasConceptScore W2067607302C86803240 @default.
- W2067607302 hasConceptScore W2067607302C98045186 @default.
- W2067607302 hasLocation W20676073021 @default.
- W2067607302 hasLocation W20676073022 @default.
- W2067607302 hasOpenAccess W2067607302 @default.
- W2067607302 hasPrimaryLocation W20676073021 @default.
- W2067607302 hasRelatedWork W1539860096 @default.
- W2067607302 hasRelatedWork W1550049051 @default.
- W2067607302 hasRelatedWork W2067607302 @default.
- W2067607302 hasRelatedWork W2095136535 @default.
- W2067607302 hasRelatedWork W2125333933 @default.
- W2067607302 hasRelatedWork W2139102157 @default.
- W2067607302 hasRelatedWork W2159410989 @default.
- W2067607302 hasRelatedWork W2542690289 @default.
- W2067607302 hasRelatedWork W4256134031 @default.
- W2067607302 hasRelatedWork W1560953315 @default.
- W2067607302 isParatext "false" @default.
- W2067607302 isRetracted "false" @default.
- W2067607302 magId "2067607302" @default.
- W2067607302 workType "article" @default.