ECA Books and Papers Sorted by Topic

This page is a collection of books and papers by past and present members of the PARC Embedded Computation Area, cross-referenced by topic.

Each book or paper is listed under all relevant categories. Within each category, they are listed in alphabetical order by title. A similar cross-references, sorted by author is available, as well as a complete list of ECA books and papers.

• Aspect-Oriented Programming
• Recent Developments in AspectJ™
• Aspect-Oriented Programming of Sparse Matrix Code
• RG: A Case-Study for Aspect-Oriented Programming
• D: A Language Framework for Distributed Programming

• AP/S++: Case-study of a MOP for purposes of software evolution
• The Art of the Metaobject Protocol
• Avoiding Confusion in Metacircularity:The Meta-Helix
• Metaobject protocols: Why we want them and what else they can do
• Open Implementations and Metaobject Protocols
• What A Metaobject Protocol Based Compiler Can Do For Lisp

• Intensional Verbs Without Type-Raising or Lexical Ambiguity
• LFG Semantics via Constraints
• The Resource Logic of Complex Predicate Interpretation

• Adaptive Parameter Passing
• Compilation Strategies as Objects
• Methods as Assertions
• Traces (A Cut at the ``Make Isn't Generic'' Problem)
• Typing the Specialization Interface
• An Architecture for An Open Compiler
• Issues in the Design and Specification of Class Libraries
• Efficient Method Dispatch in PCL
• Common Lisp Object System Specification
• CommonLoops --- Merging LISP and Object-Oriented Programming

• Open Implementation Design Guidelines
• Adaptive Parameter Passing
• Open Implementations and Metaobject Protocols
• The Foil for the Workshop on Open Implementation
• Towards A New Model of Abstraction in Software Engineering
• See Also
  • Papers on Object-Oriented Programming
  • Papers on Operating Systems
  • Papers on Metaobject Protocols

• The Need for Customizable Operating Systems
• Operating Systems: Why Object-Oriented?

• D: A Language Framework for Distributed Programming
• Adaptive Parameter Passing
• What A Metaobject Protocol Based Compiler Can Do For Lisp
• An Architecture for An Open Compiler
• Macros that Reach Out and Touch Somewhere
• An Algorithm for Optimal Lambda Calculus Reduction
• A Unified System of Parameterization for Programming Languages
• Efficient Method Dispatch in PCL
• Common Lisp Object System Specification

• A Focus+Context Technique Based on Hyperbolic Geometry for Visualizing Large Hierarchies
• Laying Out and Visualizing Large Trees Using a Hyperbolic Space