Aspectual Caml: an aspect-oriented functional language

DOI10.1145/1086365.1086405MaRDI QIDQ2936795zbMATH OpenOpenAlexFDO

Authors Hidehiko Masuhara, Hideaki Tatsuzawa, Akinori Yonezawa

Publication date 6 January 2015

Published in Proceedings of the tenth ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/1086365.1086405

zbMATH Keywords

aspect-oriented programmingObjective Camlpointcut and advice

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• PolyAML: a polymorphic aspect-oriented functional programming language
• A Compilation Model for Aspect-Oriented Polymorphically Typed Functional Languages
• A theory of aspects
• Semantics and scoping of aspects in higher-order languages
• scientific article; zbMATH DE number 7310152

Cited in

(9)

• Side-effect localization for lazy, purely functional languages via aspects
• \(\text{MiniMAO}_1\): an imperative core language for studying aspect-oriented reasoning
• Aspects preserving properties
• Type-directed weaving of aspects for polymorphically typed functional languages
• Semantics and scoping of aspects in higher-order languages
• Programming Languages and Systems
• PolyAML: a polymorphic aspect-oriented functional programming language
• A Compilation Model for Aspect-Oriented Polymorphically Typed Functional Languages
• scientific article; zbMATH DE number 7310152 (Why is no real title available?)

Describes a project that uses

Uses Software

• OCaml
• AspectC++
• Aspectual Caml

This page was built for publication: Aspectual Caml: an aspect-oriented functional language

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2936795)