λ_AOP:一个AOP扩展的λ演算

Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007) Pub Date : 2007-09-10 DOI:10.1109/SEFM.2007.5

D. Alhadidi, Nadia Belblidia, M. Debbabi, P. Bhattacharya

{"title":"λ_AOP:一个AOP扩展的λ演算","authors":"D. Alhadidi, Nadia Belblidia, M. Debbabi, P. Bhattacharya","doi":"10.1109/SEFM.2007.5","DOIUrl":null,"url":null,"abstract":"This paper presents an implicitly-typed functional, aspect-oriented programming language: lambda_AOP. The main contribution of the paper is a semantics for lambda_AOP advice weaving. The weaving is type-based and implemented statically. We extend the Hindley-Milner type inference system to inject applicable advices into lambda expressions during typing. The proposed semantics for advice weaving is close to the spirit of Aspect J, the most popular AOP language, where advices are injected before, after, or around points that match their respective pointcuts. For this purpose, the sequence construct of the extended lambda-calculus is used.","PeriodicalId":212544,"journal":{"name":"Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007)","volume":"25 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2007-09-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"4","resultStr":"{\"title\":\"λ_AOP: An AOP Extended Lambda-Calculus\",\"authors\":\"D. Alhadidi, Nadia Belblidia, M. Debbabi, P. Bhattacharya\",\"doi\":\"10.1109/SEFM.2007.5\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"This paper presents an implicitly-typed functional, aspect-oriented programming language: lambda_AOP. The main contribution of the paper is a semantics for lambda_AOP advice weaving. The weaving is type-based and implemented statically. We extend the Hindley-Milner type inference system to inject applicable advices into lambda expressions during typing. The proposed semantics for advice weaving is close to the spirit of Aspect J, the most popular AOP language, where advices are injected before, after, or around points that match their respective pointcuts. For this purpose, the sequence construct of the extended lambda-calculus is used.\",\"PeriodicalId\":212544,\"journal\":{\"name\":\"Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007)\",\"volume\":\"25 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2007-09-10\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"4\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/SEFM.2007.5\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/SEFM.2007.5","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 4

摘要

本文提出了一种隐式类型的函数式、面向方面的编程语言:lambda_AOP。本文的主要贡献是lambda_AOP通知编织的语义。编织是基于类型的，并且是静态实现的。我们扩展了Hindley-Milner类型推断系统，在lambda表达式键入时注入适用的建议。建议的通知编织语义接近Aspect J的精神，Aspect J是最流行的AOP语言，其中通知在与其各自的切入点相匹配的点之前、之后或周围注入。为此，使用扩展λ演算的序列构造。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

λ_AOP: An AOP Extended Lambda-Calculus

This paper presents an implicitly-typed functional, aspect-oriented programming language: lambda_AOP. The main contribution of the paper is a semantics for lambda_AOP advice weaving. The weaving is type-based and implemented statically. We extend the Hindley-Milner type inference system to inject applicable advices into lambda expressions during typing. The proposed semantics for advice weaving is close to the spirit of Aspect J, the most popular AOP language, where advices are injected before, after, or around points that match their respective pointcuts. For this purpose, the sequence construct of the extended lambda-calculus is used.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007)

自引率

0.00%

发文量