A type-theoretic interpretation of pointcuts and advice
From MaRDI portal
Publication:856917
DOI10.1016/j.scico.2006.01.004zbMath1119.68112OpenAlexW2136580373MaRDI QIDQ856917
Publication date: 14 December 2006
Published in: Science of Computer Programming (Search for Journal in Brave)
Full work available at URL: https://repository.upenn.edu/cgi/viewcontent.cgi?article=1595&context=cis_papers
Related Items (3)
MRI: Modular reasoning about interference in incremental programming ⋮ A Mechanized Model of the Theory of Objects ⋮ An algebraic foundation for automatic feature-based program synthesis
Uses Software
This page was built for publication: A type-theoretic interpretation of pointcuts and advice