Filters








8 Hits in 4.4 sec

Forward chaining in HALO: An implementation strategy for history-based logic pointcuts

Charlotte Herzeel, Kris Gybels, Pascal Costanza, Coen De Roover, Theo D'Hondt
2009 Computer languages, systems & structures  
We introduce forward chaining as an implementation model for this language, and discuss possible optimization strategies for the additional overhead. 1 1 ACM, 2007.  ...  In this paper, we introduce a logic-based pointcut language that allows interaction with the base program as well as pointcuts over a history of join points.  ...  Acknowledgements This work was supported in part by the AOSD-Europe Network of Excellence, European Union grant no.  ... 
doi:10.1016/j.cl.2008.06.002 fatcat:mfvytgd64ne5rj7hjxhds2spu4

Forward chaining in HALO

Charlotte Herzeel, Kris Gybels, Pascal Costanza, Coen De Roover, Theo D'Hondt
2007 Proceedings of the 2007 international conference on Dynamic languages in conjunction with the 15th International Smalltalk Joint Conference 2007 - ICDL '07  
We introduce forward chaining as an implementation model for this language, and discuss possible optimization strategies for the additional overhead. 1 1 ACM, 2007.  ...  In this paper, we introduce a logic-based pointcut language that allows interaction with the base program as well as pointcuts over a history of join points.  ...  Acknowledgements This work was supported in part by the AOSD-Europe Network of Excellence, European Union grant no.  ... 
doi:10.1145/1352678.1352689 dblp:conf/smalltalk/HerzeelGCRD07 fatcat:54huo7ncnbfxxmbsxn2wunnihq

Modularizing crosscuts in an e-commerce application in Lisp using HALO

Charlotte Herzeel, Kris Gybels, Pascal Costanza, Theo D'Hondt
2009 Proceedings of the 2007 International Lisp Conference on - ILC '07  
For this purpose we give an overview of HALO, a novel pointcut language based on logic meta programming and temporal logic, which allows one to reason about program execution and (past) program state.  ...  In this paper we consider extending an e-commerce application, written in CLOS, with two of such crosscutting concerns.  ...  However, currently, a more practical implementation of HALO relies on an implementation strategy based on forward chaining.  ... 
doi:10.1145/1622123.1622136 dblp:conf/lfp/HerzeelGCD07 fatcat:cbmqx56cobb3jpvypyotrh4bi4

cHALO, stateful aspects in C

Bram Adams, Charlotte Herzeel, Kris Gybels
2008 Proceedings of the 2008 AOSD workshop on Aspects, components, and patterns for infrastructure software - ACP4IS '08  
To implement them in an efficient way, people have proposed various optimisations and program history retention strategies, especially for Java-based aspect languages.  ...  A working prototype (cHALO) has been designed and implemented, based on the HALO pointcut language for Lisp.  ...  Acknowledgements The authors want to thank Michael Haupt for encouraging them in designing and implementing cHALO.  ... 
doi:10.1145/1404891.1404892 fatcat:6rnsb4plzveulakiep6m4v7dhy

Symbiosis in logic-based pointcuts over a history of join points

Kris Gybels, Charlotte Herzeel, Theo D'Hondt
2008 Proceedings of the 2008 ACM symposium on Applied computing - SAC '08  
We discuss the unimplementable ideal model of declarative history-based logic pointcut languages, and the possible approximations that can be made that are still implementable and what limits they impose  ...  Readability is increased by using specialized, declarative pointcut languages. For such languages, their expressiveness is increased if they offer an integration with the base code language.  ...  We have so far mostly studied its applications [9] and implementation using a forward chaining logic [10] .  ... 
doi:10.1145/1363686.1363751 dblp:conf/sac/GybelsHD08 fatcat:s5bwrsn7xberrehawh3ghrcoxy

Escaping with Future Variables in HALO [chapter]

Charlotte Herzeel, Kris Gybels, Pascal Costanza
Runtime Verification  
Shop Article + checkout(): void + login(): void + buy(Article): void User Basket 1 1 * 1 * * 1 + current-rate-for(Article) + set-rate(Article, Double) + singleton-instance() Promotions * *  ...  More specifically, the HALO query matching process is based on the Rete forward chaining algorithm.  ...  Introduction HALO is a novel aspect language introducing a logic-based pointcut language which combines history-based pointcuts and "escape" conditions for interacting with the base language.  ... 
doi:10.1007/978-3-540-77395-5_5 dblp:conf/rv/HerzeelGC07 fatcat:c7xegagt2zhevdrnws3hctbprq

An expressive stateful aspect language

Paul Leger, Éric Tanter, Hiroaki Fukuda
2015 Science of Computer Programming  
We use this description to develop a concrete and practical implementation of ESA for JavaScript.  ...  In this paper, we describe ESA, an expressive stateful aspect language, in which the pattern language is Turingcomplete and patterns themselves are reusable, composable first-class values.  ...  Acknowledgements We thank the anonymous reviewers for their valuable feedback on this paper.  ... 
doi:10.1016/j.scico.2015.02.001 fatcat:wi53slob2bbopn62btq5rp3whu

Object Technology for Ambient Intelligence [article]

(:Unkn) Unknown, Technische Universität Berlin, Technische Universität Berlin, Holger Mügge, Éric Tanter, Pascal Cherrier, Jessie Dedecker, Christina Lopes, Michael Cebulla
2020
This reader comprises the submissions to the third workshop on object-technology for Ambient Intelligence and Pervasive Computing held at ECOOP 2007.  ...  Conclusion We presented requirements, which we identified for AmI applications. These requirements can in most instances be fulfilled by using our sketched SAMProc approach.  ...  We think that our SAMProc-based infrastructure especially enables AmI requirements of heterogeneity, dynamics, communication, context, adaptability, mobility and controllability of requirements.  ... 
doi:10.14279/depositonce-10299 fatcat:ooj7iudaybe7rd436hzejzvrba