Results 1 - 10
of
2,493
Foundations of Aspect-Oriented Languages
, 2004
"... gramming Languages] Language classifications—object-oriented languages; D.3.3 [Programming Languages] Lan- ..."
Abstract
- Add to MetaCart
gramming Languages] Language classifications—object-oriented languages; D.3.3 [Programming Languages] Lan-
An Object-Oriented Framework for Aspect-Oriented Languages
"... Aspect-orientation is a mechanism for modularizing cross-cutting concerns that has been added to many existing soft-ware engineering languages. The implementations of aspect-oriented language extensions, however, are typically tied to a specific base language. There is little or no code reuse betwee ..."
Abstract
- Add to MetaCart
Aspect-orientation is a mechanism for modularizing cross-cutting concerns that has been added to many existing soft-ware engineering languages. The implementations of aspect-oriented language extensions, however, are typically tied to a specific base language. There is little or no code reuse
Aspect-Oriented Language Mechanisms for Component Binding
"... Abstract. Domain Specific Languages (DSLs) are programming languages customized for a problem/solution domain, which allow development of software modules in high-level specifications. Code generation is a common practice for making DSL programs executable: A DSL specification is transformed to a fu ..."
Abstract
- Add to MetaCart
of integrating domainspecific modules to a system non-intrusively and promote loose coupling between these to allow software evolution. We present our on-going work on aspect-oriented language mechanisms for defining object selectors and object adapters as a solution to this problem. 1
Experimental Aspect-Oriented Language - AspectCOOL
- In Applied Computing 2002: Proc. (17th ACM) Symposium on applied computing, Mar.11–14
, 2002
"... Aspect-oriented programming (AOP) is a programming technique for modularizing concerns that crosscut the basic functionality of programs. In AOP, aspect languages are used to describe properties, which crosscut basic functionality, in a clean and a modular way. AOP is currently supported mostly by a ..."
Abstract
- Add to MetaCart
Aspect-oriented programming (AOP) is a programming technique for modularizing concerns that crosscut the basic functionality of programs. In AOP, aspect languages are used to describe properties, which crosscut basic functionality, in a clean and a modular way. AOP is currently supported mostly
Towards Type Safety of Aspect-Oriented Languages
, 2006
"... In this paper we describe our vision of supporting aspectoriented programming with interactive theorem proving in Coq. The goal is to construct a mechanized semantical basis that enables the analysis of type safety and other security properties. This basis consists of a featherweight aspectoriented ..."
Abstract
-
Cited by 5 (0 self)
- Add to MetaCart
language and a supporting framework for analysis. We identify features of aspect-oriented programming that direct our investigation and present first axiomatic formalizations building the basis for this analysis of aspect-oriented programming.
AspectCOOL: An experiment in design and implementation of aspect-oriented language
, 2001
"... Aspect-oriented programming (AOP) is a promising technique helping programmers to easier reason about, develop and maintain programs. AOP improves reusability since components with a clearly defined functionality, which is not tangled with different aspects, are much easier to reuse. In order to exp ..."
Abstract
-
Cited by 2 (1 self)
- Add to MetaCart
to explore different AOP concepts a general-purpose aspect-oriented language AspectCOOL has been designed and implemented. Among the different concepts, which we explored, the most important is the separate compilation of aspect and component code. Using this concept aspects can be applied on already
REASONING TRADEOFFS IN IMPLICIT INVOCATION AND ASPECT ORIENTED LANGUAGES
, 2015
"... Verification — Formal methods, programming by contract; F.3.1 [Log- ..."
Parameterized Aspect Calculus: A Core Calculus for the Direct Study of Aspect-Oriented Languages
, 2003
"... Formal study of aspect-oriented languages is di#cult because current theoretical models provide a range of features that is too limited and rely on encodings using lower-level abstractions, which involve a cumbersome level of indirection. We present a calculus, based on Abadi and Cardelli's obj ..."
Abstract
-
Cited by 20 (4 self)
- Add to MetaCart
Formal study of aspect-oriented languages is di#cult because current theoretical models provide a range of features that is too limited and rely on encodings using lower-level abstractions, which involve a cumbersome level of indirection. We present a calculus, based on Abadi and Cardelli
Multiple Concerns in Aspect-Oriented Language Design: A Language Engineering Approach to Balancing Benefits, with Examples
, 2007
"... Some in the aspect-oriented community view a programming language as aspect-oriented only if it allows programmers to perfectly eliminate scattering and tangling. That is, languages that do not allow programmers to have maximal quantification and perfect obliviousness are not viewed as aspect-orient ..."
Abstract
-
Cited by 4 (0 self)
- Add to MetaCart
Some in the aspect-oriented community view a programming language as aspect-oriented only if it allows programmers to perfectly eliminate scattering and tangling. That is, languages that do not allow programmers to have maximal quantification and perfect obliviousness are not viewed as aspect-oriented
Results 1 - 10
of
2,493