The Pan language-based editing system for integrated development
SDE 4 Proceedings of the fourth ACM SIGSOFT symposium on Software development environments
Visualizing and querying software structures
ICSE '92 Proceedings of the 14th international conference on Software engineering
The Go¨del programming language
The Go¨del programming language
Prolog: the standard: reference manual
Prolog: the standard: reference manual
Law-governed regularities in object systems: part I: an abstract model
Theory and Practice of Object Systems
The Art of the Metaobject Protocol
The Art of the Metaobject Protocol
Fowards a Generic Framework for AOP
ECOOP '98 Workshop ion on Object-Oriented Technology
Aspect-Oriented Programming Workshop Report
ECOOP '97 Proceedings of the Workshops on Object-Oriented Technology
Aspect-Oriented Programming of Sparse Matrix Code
ISCOPE '97 Proceedings of the Scientific Computing in Object-Oriented Parallel Environments
Lambda-Prolog: An Extended Logic Programming Language
Proceedings of the 9th International Conference on Automated Deduction
ECOOP '98 Workshop ion on Object-Oriented Technology
Declarative Reasoning about the Structure of Object-Oriented Systems
TOOLS '98 Proceedings of the Technology of Object-Oriented Languages and Systems
ASTLOG: a language for examining abstract syntax trees
DSL'97 Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997
A Framework for the Detection and Resolution of Aspect Interactions
GPCE '02 Proceedings of the 1st ACM SIGPLAN/SIGSOFT conference on Generative Programming and Component Engineering
Building Composable Aspect-Specific Languages with Logic Metaprogramming
GPCE '02 Proceedings of the 1st ACM SIGPLAN/SIGSOFT conference on Generative Programming and Component Engineering
Declarative Concurrency in Java
IPDPS '00 Proceedings of the 15 IPDPS 2000 Workshops on Parallel and Distributed Processing
ECOOP '01 Proceedings of the 15th European Conference on Object-Oriented Programming
ECOOP '01 Proceedings of the Workshops on Object-Oriented Technology
Caching Web Services: Aspect Orientation To The Rescue
Revised Papers from the NETWORKING 2002 Workshops on Web Engineering and Peer-to-Peer Computing
.QL: Object-Oriented Queries Made Easy
Generative and Transformational Techniques in Software Engineering II
Expressive pointcuts for increased modularity
ECOOP'05 Proceedings of the 19th European conference on Object-Oriented Programming
Aspects of composition in the reflex AOP kernel
SC'06 Proceedings of the 5th international conference on Software Composition
An expressive aspect language for system applications with arachne
Transactions on Aspect-Oriented Software Development I
abc: an extensible AspectJ compiler
Transactions on Aspect-Oriented Software Development I
FATES'06/RV'06 Proceedings of the First combined international conference on Formal Approaches to Software Testing and Runtime Verification
Aspect-Oriented programming in higher-order and linear logic
PADL'07 Proceedings of the 9th international conference on Practical Aspects of Declarative Languages
SIF: a selective instrumentation framework for mobile applications
Proceeding of the 11th annual international conference on Mobile systems, applications, and services
Hi-index | 0.00 |
We propose to use a logic meta-system as a general framework for aspect-oriented programming. We illustrate our approach with the implementation of a simplified version of the cool aspect language for expressing synchronization of Java programs. Using this case as an example we illustrate the principle of aspect-oriented logic meta programming and how it is useful for implementing weavers on the one hand and on the other hand also allows users of aop to fine-tune, extend and adapt an aspect language to their specific needs.