Actors: a model of concurrent computation in distributed systems
Actors: a model of concurrent computation in distributed systems
Reification without evaluation
LFP '88 Proceedings of the 1988 ACM conference on LISP and functional programming
Reflective facilities in Smalltalk-80
OOPSLA '89 Conference proceedings on Object-oriented programming systems, languages and applications
Reasoning about meta level activities in open distributed systems
Proceedings of the fourteenth annual ACM symposium on Principles of distributed computing
Computational reflection in software process modeling: the SLANG approach
ICSE '93 Proceedings of the 15th international conference on Software Engineering
A Metaobject Architecture for Fault-Tolerant Distributed Systems: The FRIENDS Approach
IEEE Transactions on Computers
Customization and composition of distributed objects: middleware abstractions for policy management
SIGSOFT '98/FSE-6 Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering
Components and generative programming (invited paper)
ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
Symbolic Debugging of Optimized Code
ACM Transactions on Programming Languages and Systems (TOPLAS)
Grammar-Based Definition of Metaprogramming Systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Customizable middleware for modular distributed software
Communications of the ACM
The Java Tutorial Continued: The Rest of the JDK
The Java Tutorial Continued: The Rest of the JDK
Comilation of a Highly Parallel Actor-Based Language
Proceedings of the 5th International Workshop on Languages and Compilers for Parallel Computing
Inheritance of Synchronization Constraints in Concurrent Object-Oriented Programming Languages
ECOOP '92 Proceedings of the European Conference on Object-Oriented Programming
A Language Framework for Multi-Object Coordination
ECOOP '93 Proceedings of the 7th European Conference on Object-Oriented Programming
ECCOP '98 Proceedings of the 12th European Conference on Object-Oriented Programming
Reflections on MOPs, Components, and Java Security
ECOOP '01 Proceedings of the 15th European Conference on Object-Oriented Programming
Semantic Models for Distributed Object Reflection
ECOOP '02 Proceedings of the 16th European Conference on Object-Oriented Programming
A Semantically Sound Actor Tranlsation
ICALP '97 Proceedings of the 24th International Colloquium on Automata, Languages and Programming
Abstracting Object Interactions Using Composition Filters
ECOOP '93 Proceedings of the Workshop on Object-Based Distributed Programming
An Actor-Based Metalevel Architecture for Group-Wide Reflection
Proceedings of the REX School/Workshop on Foundations of Object-Oriented Languages
Efficient implementation of the smalltalk-80 system
POPL '84 Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Reification: Reflection without metaphysics
LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming
Adaptive operating system design using reflection
HOTOS '95 Proceedings of the Fifth Workshop on Hot Topics in Operating Systems (HotOS-V)
Modular specification of interaction policies in distributed computing
Modular specification of interaction policies in distributed computing
Customization and composition of distributed objects: policy management in distributed software architectures
Runtime safety analysis of multithreaded programs
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Reo: a channel-based coordination model for component composition
Mathematical Structures in Computer Science
Efficient Decentralized Monitoring of Safety in Distributed Systems
Proceedings of the 26th International Conference on Software Engineering
A formal model for reasoning about adaptive QoS-enabled middleware
ACM Transactions on Software Engineering and Methodology (TOSEM)
From (meta) objects to aspects: a java and AspectJ point of view
FMCO'04 Proceedings of the Third international conference on Formal Methods for Components and Objects
Java-MOP: a monitoring oriented programming environment for java
TACAS'05 Proceedings of the 11th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Hi-index | 0.00 |
Metaprogramming and computational reflection are two related techniques that allow the programmer to change the semantics of a program in a modular fashion. Although the concepts have been explored by researchers for some time, a form of metaprogramming, namely aspect-oriented programming, is now being used by some practitioners. This paper is an attempt to understand the limitations of different forms of computational reflection in concurrent and distributed computing. It specifically studies the use of aspect-oriented programming and reflective actor libraries, and their relation to full reflection. We choose distributed monitoring as the primary example application because its requirements nicely fit the abilities of the two systems as well as illustrate their limitations.