发布求助
文献互助 智能选刊 最新文献

Workshop on Foundations of Aspect-Oriented Languages最新文献

筛选
英文 中文
On the relation of aspects and monads 论方面与单子的关系
Workshop on Foundations of Aspect-Oriented Languages Pub Date : 2007-03-13 DOI: 10.1145/1233833.1233838
Christian Hofer, K. Ostermann
{"title":"On the relation of aspects and monads","authors":"Christian Hofer, K. Ostermann","doi":"10.1145/1233833.1233838","DOIUrl":"https://doi.org/10.1145/1233833.1233838","url":null,"abstract":"The relation between aspects and monads is a recurring topic in discussions in the programming language community, although it has never been elaborated whether their resemblences are only superficial, and if not, where they are rooted. The aim of this paper is to contrast both mechanisms w.r.t. their capabilities and their effects on modularity, first by looking at monads as a way to express tangling concerns in functional programming and by discussing whether they can be regarded as a form of AOP, then by taking the view that monads express concerns of computations and by analyzing the extent to which aspects are able to handle those concerns.\u0000 Our results are mostly negative: monads are not capable of quantifying over points in the program execution in a declarative way, whereas aspects are not very useful in abstracting over computational capabilities.","PeriodicalId":245301,"journal":{"name":"Workshop on Foundations of Aspect-Oriented Languages","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-03-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131166498","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 20
Aspect-oriented programming with type classes 使用类型类的面向方面编程
Workshop on Foundations of Aspect-Oriented Languages Pub Date : 2007-03-13 DOI: 10.1145/1233833.1233842
Martin Sulzmann, Meng Wang
{"title":"Aspect-oriented programming with type classes","authors":"Martin Sulzmann, Meng Wang","doi":"10.1145/1233833.1233842","DOIUrl":"https://doi.org/10.1145/1233833.1233842","url":null,"abstract":"We consider the problem of adding aspects to a strongly typed language which supports type classes. We show that type classes as supported by the Glasgow Haskell Compiler can model an AOP style of programming via a simple syntax-directed transformation scheme where AOP programming idioms are mapped to type classes. The drawback of this approach is that we cannot easily advise functions in programs which carry type annotations. We sketch a more principled approach which is free of such problems by combining ideas from intentional type analysis with advanced overloading resolution strategies. Our results show that type-directed static weaving is closely related to type class resolution -- the process of typing and translating type class programs.","PeriodicalId":245301,"journal":{"name":"Workshop on Foundations of Aspect-Oriented Languages","volume":"47 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-03-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125598532","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 13
Specializing continuations a model for dynamic join points 专门化延续是动态连接点的模型
Workshop on Foundations of Aspect-Oriented Languages Pub Date : 2007-03-13 DOI: 10.1145/1233833.1233840
Christopher Dutchyn
{"title":"Specializing continuations a model for dynamic join points","authors":"Christopher Dutchyn","doi":"10.1145/1233833.1233840","DOIUrl":"https://doi.org/10.1145/1233833.1233840","url":null,"abstract":"By modeling dynamic join points, pointcuts, and advice in a defunctionalized continuation-passing style interpreter, we provide a fundamental account of these AOP mechanisms. Dynamic join points develop in a principled and natural way as activations of continuation frames. Pointcuts arise directly in the semantic specification as predicates identifying continuation frames. Advice models procedures operating on continuations, specializing the behaviour of continuation frames. In this way, an essential form of AOP is seen, neither as meta-programming nor as an ad hoc extension, but as an intrinsic feature of programming languages.","PeriodicalId":245301,"journal":{"name":"Workshop on Foundations of Aspect-Oriented Languages","volume":"138 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-03-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133570506","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 6
On bytecode slicing and aspectJ interferences 关于字节码切片和aspect干扰
Workshop on Foundations of Aspect-Oriented Languages Pub Date : 2007-03-13 DOI: 10.1145/1233833.1233839
Antonio Castaldo D'Ursi, Luca Cavallaro, Mattia Monga
{"title":"On bytecode slicing and aspectJ interferences","authors":"Antonio Castaldo D'Ursi, Luca Cavallaro, Mattia Monga","doi":"10.1145/1233833.1233839","DOIUrl":"https://doi.org/10.1145/1233833.1233839","url":null,"abstract":"AspectJ aims at managing tangled concerns in Java systems. Crosscutting aspect definitions are woven into the Java bytecode at compile-time. Whether the better modularization introduced by aspects is real or just apparent remains unclear. While aspect separation may be useful to focus the programmer's attention on a specific concern, the oblivious nature of the weaving makes it difficult to figure out the behavior of the whole system. In particular, it is not easy to figure out if two aspects interfere one with the other. We built a bytecode slicer called XCutter in order to study which part of the woven code is affected by the application of an aspect. However, our experiments show that a static analysis of AspectJ woven bytecode does not give the expected results, unless the code is properly annotated.","PeriodicalId":245301,"journal":{"name":"Workshop on Foundations of Aspect-Oriented Languages","volume":"313 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-03-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132160129","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 14
Typing for a minimal aspect language: preliminary report 输入最小方面语言:初步报告
Workshop on Foundations of Aspect-Oriented Languages Pub Date : 2007-03-13 DOI: 10.1145/1233833.1233836
Peter Hui, J. Riely
{"title":"Typing for a minimal aspect language: preliminary report","authors":"Peter Hui, J. Riely","doi":"10.1145/1233833.1233836","DOIUrl":"https://doi.org/10.1145/1233833.1233836","url":null,"abstract":"We present a preliminary report on typing systems for polyadic μABC, aspect oriented programming---pointcuts and advice---and nothing else. Tuples of uninterpreted names are used to trigger advice. The resulting language is remarkably unstructured: the least common denominator of the pi-calculus and Linda. As such, developing meaningful type systems is a substantial challenge.\u0000 Our work is guided by the translation of richly typed languages into μABC, specifically function- and class-based languages augmented with advice. The \"impedance mismatch\" between source and target is severe, and this leads us to a novel treatment of types in μABC.","PeriodicalId":245301,"journal":{"name":"Workshop on Foundations of Aspect-Oriented Languages","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-03-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115103667","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 6
Aspects and modular reasoning in nonmonotonic logic 非单调逻辑中的方面与模推理
Workshop on Foundations of Aspect-Oriented Languages Pub Date : 2007-03-13 DOI: 10.1145/1233833.1233841
K. Ostermann
{"title":"Aspects and modular reasoning in nonmonotonic logic","authors":"K. Ostermann","doi":"10.1145/1233833.1233841","DOIUrl":"https://doi.org/10.1145/1233833.1233841","url":null,"abstract":"Nonmonotonic logic is a branch of logic that has been developed to model situations with incomplete information. We argue that there is a connection between AOP and nonmonotonic logic which deserves further study. As a concrete technical contribution and \"appetizer\", we outline an AO semantics defined in default logic (a form of nonmonotonic logic), propose a definition of modular reasoning, and show that the default logic version of the language semantics admits modular reasoning whereas a conventional language semantics based on weaving does not.","PeriodicalId":245301,"journal":{"name":"Workshop on Foundations of Aspect-Oriented Languages","volume":"98 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2007-03-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126898344","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
首页 上一页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：604180095
Book学术官方微信