Side-effect localization for lazy, purely functional languages via aspects

DOI10.1007/s10990-011-9073-0zbMath1256.68031OpenAlexW2066077784MaRDI QIDQ1929361

Siau-Cheng Khoo, Jia-Yin Lin, Shu-Chun Weng, Kung Chen, Meng Wang

Publication date: 8 January 2013

Published in: Higher-Order and Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://kar.kent.ac.uk/47476/1/local_143548.pdf

zbMATH Keywords

lazy semanticsaspect-oriented programmingmonadificationside-effect

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55)

Uses Software

• AspectJ
• Aspectual Caml

Cites Work

• Unnamed Item
• Monadification of functional programs
• Poly _AML
• Aspectual Caml
• Purely functional lazy non-deterministic programming
• A Compilation Model for Aspect-Oriented Polymorphically Typed Functional Languages
• Harmless advice