doc.txt

AspectScheme - Aspects in Higher-Order Languages

AspectScheme - Aspects in Higher-Order Languages
************************************************

Version 1, 24 February 2005,`http://www.cs.ubc.ca/~cdutchyn/downloads/'
by Christopher Dutchyn <cdutchyn@cs.ubc.ca>

     Copyright (C) 2005 Christopher Dutchyn.  This program is Free
     Software; you can redistribute it and/or modify it under the
     terms of the GNU Lesser General Public License as published by
     the Free Software Foundation; either version 2.1 of the License,
     or (at your option) any later version.  This program is
     distributed in the hope that it will be useful, but without any
     warranty; without even the implied warranty of merchantability or
     fitness for a particular purpose.  See the GNU Lesser General
     Public License [LGPL] for details.  For other license options and
     commercial consulting, contact the author.

Introduction
************

AspectScheme is an implementation of the Scheme programmng language
[R5RS] built on MzScheme [MZSCHEME], providing support for pointcuts
and advice aspect-oriented programming.  In order to use it, place
    (require (planet "aspect-scheme.ss" ("cdutchyn" "aspect-scheme.plt" 1 0)))
in your code, before using any AspectScheme features.

   AspectScheme is a lightweight language, constructed using the
continuation marks [STEPPER] and macro facilities offered by MzScheme.
It recognizes join points as procedure applications, within a context
of in-progress join points.  These join points in context are
recognized by pointcuts -- predicates over the join point and context
(represented as a list of join points).  When a pointcut matches,
advice transforms the join point into a new procedure.  Aspects,
consisting of a pointcut and an advice are introduced by the around
and fluid-around constructs:

    (around <pc> <adv>              (fluid-around <pc> <adv>
      <body>...)                      <body>...)

which differ in the scoping of the aspect application.  Static aspects
(around) apply only to join points present lexically within the body.
Dynamic aspects apply to join points that are present dynamically
within the execution of the body.

  Users should be aware that advice that breaks tail-call properties
will cause stack growth. Pointcuts can also break tail-call properties
by forcing continuations to be marked in order to preserve calling
context.  We adopt a simple approach to continuation marks, and hence
advised code may not remain tail-call optimization.

  Predefined pointcuts include: call    within
                                top     below
                                &&      ||     !
                                cflow   cflowbelow.

  For usage examples, please see as-tests.ss.  For more details,
please refer to the paper `Aspects in Higher-Order Languages' [AHOL],
or its precursor, `Pointcuts and Advice in Higher-Order Languages'
[PAHOL].

Infelicities
************

  The papers use `jp' as the parameter to advice, `proceed' is more
common in aspect-oriented programming.

Improvements
************

This implementation differs slightly from the submitted paper [AHOL];
we expect to update the paper to this version upon review and
acceptance.  The differences are simplifications and clarifications,
as itemized at the commentary introducing aspect-scheme.ss.

  A much-extended version (v2), supporting

    * access to context values
    * call / execution / advice join points
    * above, cflowabove, etc.
    * proper tail-call behaviour (as permitted by advice and pointcuts)

yielding the essentials of the AspectSandbox [ASB] is in testing.

References
**********

[AHOL]
     D. Tucker, S. Krishnamurthi, C. Dutchyn, Aspects in Higher-Order
     Languages, submitted to Science of Computer Programming, 2005.

[ASB]
     The AspectSandbox, University of British Columbia, 2003.
     `http://www.cs.ubc.ca/~cdutchyn/downloads/asbv002.tgz'

[LGPL]
     Free Software Foundation, "GNU Lesser General Public License,"
     Version 2.1, February 1999, 59 Temple Place, Suite 330, Boston,
     MA
     02111-1307 USA.
     `http://www.gnu.org/copyleft/lesser.html'

[MZSCHEME]
     M. Flatt, PLT MzScheme: Language Manual, TR97-280, Rice
     University, 1997.

[PAHOL]
     D. Tucker, S. Krishnamurthi, Pointcuts and Advice in Higher-Order
     Languages, AOSD 2003.

[R5RS]
     R. Kelsey, W. Clinger, J. Rees (eds.), Revised5 Report on the
     Algorithmic Language Scheme, Higher-Order and Symbolic Computation,
     Vol. 11, No. 1, August, 1998.
     `http://www.schemers.org/Documents/Standards/R5RS/r5rs.pdf'

[STEPPER]
     J. Clements, M. Flatt, M. Felleisen, Modelling an Algebraic
     Stepper, LNCS 2028.