Keystone Source Code

• Keystone source

Bug Reports and Contact

• Nicholas A. Kraft
• Brian A. Malloy

Keystone Documentation

• online

Papers about Keystone

• Decorating tokens to facilitate recognition of ambiguous language constructs, B. A. Malloy, T. H. Gibbs and J. F. Power, Software, Practice and Experience, January, 2003, volume 33: pages 19-39,
  [Abstract] [Full text in postscript] [Full text in zipped postscript]

• Automated Validation of Class Invariants in C++ Applications T. H. Gibbs, B. A. Malloy and J. F. Power, Proceedings of 17th IEEE International Conference on Automated Software Engineering 2002, ASE'02, Sept 23-27.
  [Abstract] [Full text in postscript] [Full text in pdf]

• Symbol table construction and name lookup in ISO C++, J. F. Power and B. A. Malloy, Proceedings of the International Conference on the Technology of Object-Oriented Languages and Systems, TOOLS 2000, Nov 20-23, 2000, at Sydney, Australia, pages 57-68.
  [Abstract] [Full text in postscript] [Full text in pdf]

• An Approach for Modeling the Name Lookup Problem in the C++ Programming Language, James F. Power and Brian A. Malloy, Proceedings of the ACM Symposium on Applied Computing, SAC'2000, March 19-21, 2000, at Villa Olmo, Como, Italy, pages 792--796.
  [Abstract] [Full text in postscript] [Full text in pdf]

• Reveal: A Tool to Reverse Engineer Class Diagrams Sarah Matzko, Peter J. Clarke, Tanton H. Gibbs, Brian A. Malloy, James F. Power, Proceedings of Technology of Object-Oriented Languages and Systems, Sydney, Australia, Feb 18-21, 2002.
  [Abstract] [Full text in postscript] [Full text in pdf]