research-article

A type system for functional traversal-based aspects

Authors:

Bryan Chadwick,

Karl LieberherrAuthors Info & Claims

FOAL '09: Proceedings of the 2009 workshop on Foundations of aspect-oriented languages

Pages 1 - 6

https://doi.org/10.1145/1509837.1509839

Published: 02 March 2009 Publication History

Abstract

We present a programming language model of the ideas behind Functional Adaptive Programming (AP-F) and our Java implementation, DemeterF. Computation in AP-F is encapsulated in sets of functions that implement a fold over a data structure with the help of a generic traversal. In this paper we define the syntax, semantics, and typing rules of a simple AP-F model, together with a proof of soundness that guarantees that traversal expressions result in a value of the expected type. Applying a function set to a different structure can then be statically checked to eliminate some runtime tests and sources of program errors.

References

[1]

G. Bruns, R. Jagadeesan, A. Jeffrey, and J. Riely. mu-abc: A minimal aspect calculus. In Proceedings of the 2004 International Conference on Concurrency Theory, pages 209--224. Springer-Verlag, 2004.

[2]

B. Chadwick. DemeterF: The functional adaptive programming library. Website, 2008. http://www.ccs.neu.edu/home/chadwick/demeterf/.

[3]

B. Chadwick and K. Lieberherr. Functional Adaptive Programming. Technical Report NU-CCIS-08-75, CCIS/PRL, Northeastern University, Boston, October 2008.

[4]

M. Flatt, S. Krishnamurthi, and M. Felleisen. Classes and mixins. In POPL, pages 171--183. ACM Press, 1998.

[5]

A. Igarashi, B. Pierce, and P. Wadler. Featherweight java: A minimal core calculus for java and gj. In TOPLAS, pages 132--146, 1999.

Digital Library

[6]

R. Jagadeesan, A. Jeffrey, and J. Riely. A calculus of untyped aspect-oriented programs. In ECOOP, pages 54--73, 2003.

[7]

F. Kammüller and M. Voesgen. Towards type safety of aspect-oriented languages. In AOSD 2006, FOAL Workshop, 2009.

[8]

K. J. Lieberherr. Adaptive Object-Oriented Software: The Demeter Method with Propagation Patterns. PWS Publishing Company, Boston, 1996. 616 pages, ISBN 0-534-94602-X.

Digital Library

[9]

H. Masuhara and G. Kiczales. Modeling crosscutting in aspect-oriented mechanisms. In ECOOP, pages 2--28, 2003.

[10]

R. Milner, M. Tofte, and D. Macqueen. The Definition of Standard ML. MIT Press, Cambridge, MA, USA, 1997.

Digital Library

[11]

J. Palsberg and M. I. Schwartzbach. Object-oriented type inference. In OOPSLA, pages 146--161, New York, NY, USA, 1991. ACM.

Digital Library

[12]

The Demeter Group. The DemeterJ website. http://www.ccs.neu.edu/research/demeter, 2007.

[13]

D. Walker, S. Zdancewic, and J. Ligatti. A theory of aspects. In ICFP, pages 127--139, New York, NY, USA, 2003. ACM.

Digital Library

[14]

M. Wand, G. Kiczales, and C. Dutchyn. A semantics for advice and dynamic join points in aspect-oriented programming. TOPLAS, 26(5):890--910, 2004.

Digital Library

[15]

A. K. Wright and M. Felleisen. A syntactic approach to type soundness. Information and Computation, 115:38--94, 1994.

Digital Library

Cited By

Chadwick BLieberherr KJezequel JSudholt M(2010)Weaving generic programming and traversal performanceProceedings of the 9th International Conference on Aspect-Oriented Software Development10.1145/1739230.1739238(61-72)Online publication date: 15-Mar-2010
https://dl.acm.org/doi/10.1145/1739230.1739238
Abdelmeged ASkotiniotis TLieberherr KMens TMens KWermelinger M(2009)Controlled evolution of adaptive programsProceedings of the joint international and annual ERCIM workshops on Principles of software evolution (IWPSE) and software evolution (Evol) workshops10.1145/1595808.1595826(89-98)Online publication date: 24-Aug-2009
https://dl.acm.org/doi/10.1145/1595808.1595826

Index Terms

A type system for functional traversal-based aspects
1. Software and its engineering
  1. Software notations and tools
    1. Formal language definitions
2. Theory of computation
  1. Formal languages and automata theory

Recommendations

Sound type-dependent syntactic language extension
POPL '16: Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages

Syntactic language extensions can introduce new facilities into a programming language while requiring little implementation effort and modest changes to the compiler. It is typical to desugar language extensions in a distinguished compiler phase after ...
Sound type-dependent syntactic language extension
POPL '16

Syntactic language extensions can introduce new facilities into a programming language while requiring little implementation effort and modest changes to the compiler. It is typical to desugar language extensions in a distinguished compiler phase after ...
Extrinsically typed operational semantics for functional languages
SLE 2020: Proceedings of the 13th ACM SIGPLAN International Conference on Software Language Engineering

We present a type system over language definitions that classifies parts of the operational semantics of a language in input, and models a common language design organization. The resulting typing discipline guarantees that the language at hand is ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

FOAL '09: Proceedings of the 2009 workshop on Foundations of aspect-oriented languages

March 2009

42 pages

ISBN:9781605584522

DOI:10.1145/1509837

Program Chair:
Mario Südholt
École des Mines de Nantes, France

Copyright © 2009 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 02 March 2009

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

AOSD '09

Sponsor:

AOSD '09: Eighth International Conference on Aspect-Oriented Software Development

March 2, 2009

Virginia, Charlottesville, USA

Acceptance Rates

Overall Acceptance Rate 5 of 6 submissions, 83%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

2
Total Citations
View Citations
120
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 13 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

Chadwick BLieberherr KJezequel JSudholt M(2010)Weaving generic programming and traversal performanceProceedings of the 9th International Conference on Aspect-Oriented Software Development10.1145/1739230.1739238(61-72)Online publication date: 15-Mar-2010
https://dl.acm.org/doi/10.1145/1739230.1739238
Abdelmeged ASkotiniotis TLieberherr KMens TMens KWermelinger M(2009)Controlled evolution of adaptive programsProceedings of the joint international and annual ERCIM workshops on Principles of software evolution (IWPSE) and software evolution (Evol) workshops10.1145/1595808.1595826(89-98)Online publication date: 24-Aug-2009
https://dl.acm.org/doi/10.1145/1595808.1595826

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents