Semantics-directed implementation of method-call interception

We describe a form of method-call interception (MCI) that allows the programmer to superimpose extra functionality onto method calls at run-time. We provide a reference semantics and a reference implementation for corresponding language constructs. The setup applies to class-based, statically typed, compiled languages such as Java. The semantics of MCI is used to direct a language implementation with a number of valuable properties: simplicity of the implementational model and run-time adaptation capabilities and static type safety and separate compilation and reasonable performance. Our implementational development employs sourcecode instrumentation. We start from a naive implementational model, which is subsequently refined to optimise program execution. The implementation is assessed via benchmarks

Model-Driven Development of Aspect-Oriented Software Architectures

The work presented in this thesis of master is an approach that takes advantage of the Model-Driven Development approach for developing aspect-oriented software architectures. A complete MDD support for the PRISMA approach is defined by providing code generation, verification and reusability properties.Pérez Benedí, J. (2007). Model-Driven Development of Aspect-Oriented Software Architectures. http://hdl.handle.net/10251/12451Archivo delegad

Adding superimposition to a language semantics

Given the denotational semantics of a programming language, we describe a general method to extend the language in a way that it supports a form of emph{superimposition}~---~just in the sense of aspect-oriented programming. In the extended language, the programmer can superimpose additional or alternative functionality (aka advice) onto points along the execution of a program. Adding superimposition to a language semantics comes down to three steps: (i) the semantic functions are elaborated to carry advice; (ii) the semantic equations are turned into `reflective' style so that they can be altered at will; (iii) a construct for binding advice is integrated. We illustrate the approach by representing semantics definitions as interpreters in Haskell

FOAL 2004 Proceedings: Foundations of Aspect-Oriented Languages Workshop at AOSD 2004

Aspect-oriented programming is a paradigm in software engineering and FOAL logos courtesy of Luca Cardelli programming languages that promises better support for separation of concerns. The third Foundations of Aspect-Oriented Languages (FOAL) workshop was held at the Third International Conference on Aspect-Oriented Software Development in Lancaster, UK, on March 23, 2004. This workshop was designed to be a forum for research in formal foundations of aspect-oriented programming languages. The call for papers announced the areas of interest for FOAL as including, but not limited to: semantics of aspect-oriented languages, specification and verification for such languages, type systems, static analysis, theory of testing, theory of aspect composition, and theory of aspect translation (compilation) and rewriting. The call for papers welcomed all theoretical and foundational studies of foundations of aspect-oriented languages. The goals of this FOAL workshop were to: � Make progress on the foundations of aspect-oriented programming languages. � Exchange ideas about semantics and formal methods for aspect-oriented programming languages. � Foster interest within the programming language theory and types communities in aspect-oriented programming languages. � Foster interest within the formal methods community in aspect-oriented programming and the problems of reasoning about aspect-oriented programs. The papers at the workshop, which are included in the proceedings, were selected frompapers submitted by researchers worldwide. Due to time limitations at the workshop, not all of the submitted papers were selected for presentation. FOAL also welcomed an invited talk by James Riely (DePaul University), the abstract of which is included below. The workshop was organized by Gary T. Leavens (Iowa State University), Ralf L?ammel (CWI and Vrije Universiteit, Amsterdam), and Curtis Clifton (Iowa State University). The program committee was chaired by L?ammel and included L?ammel, Leavens, Clifton, Lodewijk Bergmans (University of Twente), John Tang Boyland (University of Wisconsin, Milwaukee), William R. Cook (University of Texas at Austin), Tzilla Elrad (Illinois Institute of Technology), Kathleen Fisher (AT&T Labs�Research), Radha Jagadeesan (DePaul University), Shmuel Katz (Technion�Israel Institute of Technology), Shriram Krishnamurthi (Brown University), Mira Mezini (Darmstadt University of Technology), Todd Millstein (University of California, Los Angeles), Benjamin C. Pierce (University of Pennsylvania), Henny Sipma (Stanford University), Mario S?udholt ( ?Ecole des Mines de Nantes), and David Walker (Princeton University). We thank the organizers of AOSD 2004 for hosting the workshop

Issues in Contemporary Orthodontics

Issues in Contemporary Orthodontics is a contribution to the ongoing debate in orthodontics, a discipline of continuous evolution, drawing from new technology and collective experience, to better meet the needs of students, residents, and practitioners of orthodontics. The book provides a comprehensive view of the major issues in orthodontics that have featured in recent debates. Abroad variety of topics is covered, including the impact of malocclusion, risk management and treatment, and innovation in orthodontics

Non-place and the acceptance of the scantiness of reality

Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Architecture, 1996.The schizophrenia of peripheral urban conditions might be seen as related to the formation of a new ontological notion of space that we still perceive and express in a partial and incoherent way, or that we might not be totally aware of. The growth of chaos and disorder , considered as an entropical phenomenon, no longer is to be seen as a destruction of order. It is a potential source of a new kind of contemporary attitude and construction, of an activity that transforms the multitude of the components of a scanty system in a novel scanty totality containing its own richness, coherency , and identity. The price for the existence of a collective evolution is a production of permanent entropy: the creation of a new "order", which is distant from "equilibrium", is to be found through a generative exploration of disorder. The present work aims to transform this latent energy into an urban form. -- [ strategy]: There are several ways of constructing a work. One is by making a system to make decisions, another is by making decisions at each step. This experiment unifies them in a thinking/ design process evolving from a system of abstractions derived from existent conditions to a further exploration of their spatial potentials. The ideas informing the system become the content of the work. The area of Paris-Nanterre west of La Defense is the place for those ideas to be tested and spatially formalized . -- [construction]: A simple vocabulary of lines and shapes devises a system free from associations with previous methodologies and design processes. It generates a series of object- sys t ems that belie traditional representations and understandings of physical space, informing an alternative strategy at urban scale through a broad exploitation of its geometrical possibilities in the way they can be seen, interpreted, combined, shaped, and re- shaped. The strategy is then open to three- dimensional interpretation. -- [ideas]: The ideas informing the strategy are a mean of getting away from an inclusive formalization of the architectural result, from the idea of form as an end, and rather to use form as a means: they are to simultaneously explain the ontological and the processual interpretation of non-place space; they aim to create an interdependence of language and image, and create a narrative mirroring the scantiness of reality i n interdependence with the different stages of the visual progression in the making of two and three-dimensional space. -- [result]: The physical outcome becomes a three-dimensional expression of an idea and of its generative process.by Gabriele Evangelisti.M.S

Towards a Taxonomy of Aspect-Oriented Programming.

As programs continue to increase in size, it has become increasingly difficult to separate concerns into well localized modules, which leads to code tangling- crosscutting code spread throughout several modules. Thus, Aspect-Oriented Programming (AOP) offers a solution to creating modules with little or no crosscutting concerns. AOP presents the notion of aspects, and demonstrates how crosscutting concerns can be taken out of modules and placed into a centralized location. In this paper, a taxonomy of aspect-oriented programming, as well as a basic overview and introduction of AOP, will be presented in order to assist future researchers in getting started on additional research on the topic. To form the taxonomy, over four-hundred research articles were organized into fifteen different primary categories coupled with sub-categories, which shows where some of the past research has been focused. In addition, trends of the research were evaluated and paths for future exploration are suggested