LAMBDA: The Ultimate Declarative
LAMBDA: The Ultimate Declarative
The Art of the Interpreter or, The Modularity Complex (Parts Zero, One, and Two)
The Art of the Interpreter or, The Modularity Complex (Parts Zero, One, and Two)
A Model for Deliberation, Action, And Introspection
A Model for Deliberation, Action, And Introspection
LISP 1.5 Programmer's Manual
Reflection in an object-oriented concurrent language
OOPSLA '88 Conference proceedings on Object-oriented programming systems, languages and applications
Abstract continuations: a mathematical semantics for handling full jumps
LFP '88 Proceedings of the 1988 ACM conference on LISP and functional programming
Intensions and extensions in a reflective tower
LFP '88 Proceedings of the 1988 ACM conference on LISP and functional programming
Reification without evaluation
LFP '88 Proceedings of the 1988 ACM conference on LISP and functional programming
An introduction to object-based reflective concurrent computation
OOPSLA/ECOOP '88 Proceedings of the 1988 ACM SIGPLAN workshop on Object-based concurrent programming
Reflective facilities in Smalltalk-80
OOPSLA '89 Conference proceedings on Object-oriented programming systems, languages and applications
Reflective computation in object-oriented concurrent systems and its applications
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Meta-circular interpreter for a strongly typed language
Journal of Symbolic Computation
Continuing into the future: on the interaction of futures and first-class continuations
LFP '90 Proceedings of the 1990 ACM conference on LISP and functional programming
M-LISP: its natural semantics and equational logic
PEPM '91 Proceedings of the 1991 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
The muse object architecture: a new operating system structuring concept
ACM SIGOPS Operating Systems Review
Reflection facilities and realistic programming
ACM SIGPLAN Notices
Actor reflection without meta-objects
OOPSLA/ECOOP '90 Proceedings of the workshop on Object-based concurrent programming
M-LISP: a representation-independent dialect of LISP with reduction semantics
ACM Transactions on Programming Languages and Systems (TOPLAS)
Object-oriented concurrent reflective languages can be implemented efficiently
OOPSLA '92 conference proceedings on Object-oriented programming systems, languages, and applications
The Apertos reflective operating system: the concept and its implementation
OOPSLA '92 conference proceedings on Object-oriented programming systems, languages, and applications
Agora: message passing as a foundation for exploring OO language concepts
ACM SIGPLAN Notices
Compiling polymorphism using intensional type analysis
POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Towards a methodology for explicit composition of metaobjects
Proceedings of the tenth annual conference on Object-oriented programming systems, languages, and applications
Software reflexion models: bridging the gap between source and high-level models
SIGSOFT '95 Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering
Specifying dynamic support for collaborative work within WORLDS
COCS '95 Proceedings of conference on Organizational computing systems
On integration of programming paradigms
ACM Computing Surveys (CSUR)
A modal analysis of staged computation
POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Evolution of object behavior using context relations
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Integrating legacy systems with modern corporate applications
Communications of the ACM
Adding Support for Persistence to CLOS via Its Metaobject Protocol
Lisp and Symbolic Computation
Evolution of Object Behavior Using Context Relations
IEEE Transactions on Software Engineering
Using metalevel techniques in a flexible toolkit for CSCW applications
ACM Transactions on Computer-Human Interaction (TOCHI)
The Theory of Fexprs is Trivial
Lisp and Symbolic Computation
Mechanisms for software process dynamics
ISPW '90 Proceedings of the 5th international software process workshop on Experience with software process models
Desiderata for the standardization of LISP
LFP '86 Proceedings of the 1986 ACM conference on LISP and functional programming
The mystery of the tower revealed: a non-reflective description of the reflective tower
LFP '86 Proceedings of the 1986 ACM conference on LISP and functional programming
Introduction: the first international workshop on self-adaptive software
IWSAS' 2000 Proceedings of the first international workshop on Self-adaptive software
A modal analysis of staged computation
Journal of the ACM (JACM)
Aspect-oriented programming using reflection and metaobject protocols
Communications of the ACM
Dynamic Adaptation and Deployment of Distributed Components In Hadas
IEEE Transactions on Software Engineering
Generic operational decomposition for concurrent systems: semantics and reflection
Progress in computer research
The new structure of an operating system: the Apertos approach
EW 5 Proceedings of the 5th workshop on ACM SIGOPS European workshop: Models and paradigms for distributed systems structuring
Para-functional programming: a paradigm for programming multiprocessor systems
POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Reflections on remote reflection
ACSC '01 Proceedings of the 24th Australasian conference on Computer science
Reflection in concurrent object-oriented languages
Formal methods for distributed processing
Generic operational decomposition for concurrent systems: semantics and reflection
Progress in computer research
A Generic Reification Technique for Object-Oriented Reflective Languages
Higher-Order and Symbolic Computation
Software Reflexion Models: Bridging the Gap between Design and Implementation
IEEE Transactions on Software Engineering
Reflections on Metaprogramming
IEEE Transactions on Software Engineering
Reflection in conditional rewriting logic
Theoretical Computer Science - Rewriting logic and its applications
Attribute extension - a technique for enforcing programming conventions
Nordic Journal of Computing
Managing Dynamic Changes in Multi-stage Program Generation Systems
GPCE '02 Proceedings of the 1st ACM SIGPLAN/SIGSOFT conference on Generative Programming and Component Engineering
Altering Java Semantics via Bytecode Manipulation
GPCE '02 Proceedings of the 1st ACM SIGPLAN/SIGSOFT conference on Generative Programming and Component Engineering
Designing an Extensible Distributed Language with a Meta-Level Architecture
ECOOP '93 Proceedings of the 7th European Conference on Object-Oriented Programming
ECOOP '01 Proceedings of the 15th European Conference on Object-Oriented Programming
Combining Semantics with Non-standard Interpreter Hierarchies
FST TCS 2000 Proceedings of the 20th Conference on Foundations of Software Technology and Theoretical Computer Science
Supporting Formal Verification of Crosscutting Concerns
REFLECTION '01 Proceedings of the Third International Conference on Metalevel Architectures and Separation of Crosscutting Concerns
A Self-Adaptive Architecture and Its Application to Robust Face Identification
PRICAI '02 Proceedings of the 7th Pacific Rim International Conference on Artificial Intelligence: Trends in Artificial Intelligence
Caching Web Services: Aspect Orientation To The Rescue
Revised Papers from the NETWORKING 2002 Workshops on Web Engineering and Peer-to-Peer Computing
Pluggable reflection: decoupling meta-interface and implementation
Proceedings of the 25th International Conference on Software Engineering
The implementation of procedurally reflective languages
LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming
Reification: Reflection without metaphysics
LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming
The scheme 311 compiler an exercise in denotational semantics
LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming
Implementing Fault-Tolerant Applications Using Reflective Object-Oriented Programming
FTCS '95 Proceedings of the Twenty-Fifth International Symposium on Fault-Tolerant Computing
Structure and behavior awareness in themis
Proceedings of the fourteenth ACM conference on Hypertext and hypermedia
A security framework for reflective Java applications
Software—Practice & Experience
Partial behavioral reflection: spatial and temporal selection of reification
OOPSLA '03 Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications
Reflective specification: applying a reflective language to formal specification
IWSSD '93 Proceedings of the 7th international workshop on Software specification and design
Implementing multi-stage languages using ASTs, Gensym, and reflection
Proceedings of the 2nd international conference on Generative programming and component engineering
Asynchronous and deterministic objects
Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Structured Operational Semantics of a fragment of the language Scheme
Journal of Functional Programming
The GRAVA Self-Adaptive Architecture: History; Design; Applications; and Challenges
ICDCSW '04 Proceedings of the 24th International Conference on Distributed Computing Systems Workshops - W7: EC (ICDCSW'04) - Volume 7
Separation of concerns through semantic annotations
OOPSLA '02 Companion of the 17th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Dynamic adaptation of application aspects
Journal of Systems and Software - Special issue: Computer systems
Reflective metalogical frameworks
ACM Transactions on Computational Logic (TOCL)
A semantics for advice and dynamic join points in aspect-oriented programming
ACM Transactions on Programming Languages and Systems (TOPLAS)
Towards Autonomic Computing Middleware via Reflection
COMPSAC '04 Proceedings of the 28th Annual International Computer Software and Applications Conference - Volume 01
Granule-oriented programming (extended abstract)
OOPSLA '04 Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
AOP as a first class reflective mechanism
OOPSLA '04 Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
Mirrors: design principles for meta-level facilities of object-oriented programming languages
OOPSLA '04 Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
TARK '86 Proceedings of the 1986 conference on Theoretical aspects of reasoning about knowledge
Supporting incremental and experimental software evolution by runtime method transformations
Science of Computer Programming - Special issue on program transformation
ACM SIGPLAN Notices
Realization of multimethods in single dispatch object oriented languages
ACM SIGPLAN Notices
From reflection to interaction: an indirect approach to the philosophy of computation
CRPIT '03 Selected papers from conference on Computers and philosophy - Volume 37
A computational approach to reflective meta-reasoning about languages with bindings
Proceedings of the 3rd ACM SIGPLAN workshop on Mechanized reasoning about languages with variable binding
A parameterized interpreter for modeling different AOP mechanisms
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
Metadata management and relational databases
Proceedings of the 43rd annual Southeast regional conference - Volume 1
Multiple dispatch in reflective runtime environment
Computer Languages, Systems and Structures
A syntactic correspondence between context-sensitive calculi and abstract machines
Theoretical Computer Science
The parting of the ways: divergence, data management and collaborative work
ECSCW'95 Proceedings of the fourth conference on European Conference on Computer-Supported Cooperative Work
Software Deployment, Past, Present and Future
FOSE '07 2007 Future of Software Engineering
Object-based and class-based composition of transitive mixins
Information and Software Technology
Mirages: behavioral intercession in a mirror-based architecture
Proceedings of the 2007 symposium on Dynamic languages
Query responsive awareness software: inventory control case study
Proceedings of the 2nd international conference on Ubiquitous information management and communication
Multi-agent Reflection in Autonomic Systems
HoloMAS '07 Proceedings of the 3rd international conference on Industrial Applications of Holonic and Multi-Agent Systems: Holonic and Multi-Agent Systems for Manufacturing
Application of Reflection in Model Transformation Languages
ICMT '08 Proceedings of the 1st international conference on Theory and Practice of Model Transformations
Lisp50: The 50th birthday of lisp at OOPSLA 2008
Companion to the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications
Self-Sustaining Systems
Engineering of Software-Intensive Systems: State of the Art and Research Challenges
Software-Intensive Systems and New Computing Paradigms
Asynchronous sequential processes
Information and Computation
Proceedings of the 2009 ACM SIGPLAN conference on Programming language design and implementation
Reflective reasoning with and between a declarative metatheory and the implementation code
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Beyond static and dynamic scope
DLS '09 Proceedings of the 5th symposium on Dynamic languages
Language support for adaptive object-models using metaclasses
Computer Languages, Systems and Structures
Tailorable language for behavioral composition and configuration of software components
Computer Languages, Systems and Structures
Inter-language reflection: A conceptual model and its implementation
Computer Languages, Systems and Structures
A user-level extension scheme for a task-parallel script language
PDCS '07 Proceedings of the 19th IASTED International Conference on Parallel and Distributed Computing and Systems
Directly reflective meta-programming
Higher-Order and Symbolic Computation
Confidence from self-knowledge and domain knowledge
IWSAS'01 Proceedings of the 2nd international conference on Self-adaptive software: applications
A compilation and optimization model for aspect-oriented programs
CC'03 Proceedings of the 12th international conference on Compiler construction
Abstract architecture for meta-reasoning in multi-agent systems
CEEMAS'03 Proceedings of the 3rd Central and Eastern European conference on Multi-agent systems
Extending UML for modeling reflective software components
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Agent-oriented programming: from prolog to guarded definite clauses
Agent-oriented programming: from prolog to guarded definite clauses
A model-based approach to reflective command interfaces
Nordic Journal of Computing
A type system for reflective program generators
Science of Computer Programming
Revisiting information hiding: reflections on classical and nonclassical modularity
Proceedings of the 25th European conference on Object-oriented programming
Proceedings of the 10th ACM international conference on Generative programming and component engineering
Which problems does a multi-language virtual machine need to solve in the multicore/manycore era?
Proceedings of the compilation of the co-located workshops on DSM'11, TMC'11, AGERE!'11, AOOPES'11, NEAT'11, & VMIL'11
The application of compile-time reflection to software fault tolerance using ada 95
Ada-Europe'05 Proceedings of the 10th Ada-Europe international conference on Reliable Software Technologies
Self-description for construction and execution in graph rewriting automata
ECAL'05 Proceedings of the 8th European conference on Advances in Artificial Life
Generative programming from a post object-oriented programming viewpoint
UPP'04 Proceedings of the 2004 international conference on Unconventional Programming Paradigms
Aspect-oriented programming beyond dependency injection
ECOOP'05 Proceedings of the 19th European conference on Object-Oriented Programming
Efficient multimethods in a single dispatch language
ECOOP'05 Proceedings of the 19th European conference on Object-Oriented Programming
A type system for reflective program generators
GPCE'05 Proceedings of the 4th international conference on Generative Programming and Component Engineering
Program transformation with reflection and aspect-oriented programming
GTTSE'05 Proceedings of the 2005 international conference on Generative and Transformational Techniques in Software Engineering
An integrated framework for meta modeling
ADBIS'06 Proceedings of the 10th East European conference on Advances in Databases and Information Systems
Pandora: an efficient platform for the construction of autonomic applications
Self-star Properties in Complex Information Systems
A component-based middleware platform for reconfigurable service-oriented architectures
Software—Practice & Experience
An Analysis of Language-Level Support for Self-Adaptive Software
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Building an HLA-Based Distributed Simulation: A Metadata Approach
DS-RT '13 Proceedings of the 2013 IEEE/ACM 17th International Symposium on Distributed Simulation and Real Time Applications
Hi-index | 0.03 |