Architecture of the XL C++ browser

Authors:
Shahram Javey;Kin'ichi Mitsui;Hiroaki Nakamura;Tsuyoshi Ohira;Kazu Yasuda;Kazushi Kuse;Tsutomu Kamimura;Richard Helm
Affiliations:
IBM Language Techonology Center, Toronto, Ontario;IBM Language Techonology Center, Toronto, Ontario;IBM Language Techonology Center, Toronto, Ontario;IBM Language Techonology Center, Toronto, Ontario;IBM Language Techonology Center, Toronto, Ontario;IBM Language Techonology Center, Toronto, Ontario;IBM Tokyo Research Laboratory, 5-19 Sanban-cho, Chiyoda-ku, Tokyo;IBM Thomas J. Watson Research Center, Yorktown Heights, NY
Venue:
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 1
Year:
1992

Citing 7
Cited 10

The Trellis programming environment

OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
The C Information Abstraction System

IEEE Transactions on Software Engineering
Assuring Good Style for Object-Oriented Programs

IEEE Software
Connecting Tools Using Message Passing in the Field Environment

IEEE Software
EMACS the extensible, customizable self-documenting display editor

Proceedings of the ACM SIGPLAN SIGOA symposium on Text manipulation
Implementing relational views of programs

SDE 1 Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
A system for multiparadigm development of software systems

IWSSD '91 Proceedings of the 6th international workshop on Software specification and design

Visualizing the behavior of object-oriented systems

OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
Lightweight source model extraction

SIGSOFT '95 Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering
Lightweight lexical source model extraction

ACM Transactions on Software Engineering and Methodology (TOSEM)
An Open Visual Model for Object-Oriented Operating Systems

IWOOOS '95 Proceedings of the 4th International Workshop on Object-Orientation in Operating Systems
CORDS: status and directions

CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 2
Visualizing object oriented software in three dimensions

CASCON '93 Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: software engineering - Volume 1
Object-oriented queries over software systems: (abstract of invited talk)

Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
.QL: Object-Oriented Queries Made Easy

Generative and Transformational Techniques in Software Engineering II
CodeQuest: scalable source code queries with datalog

ECOOP'06 Proceedings of the 20th European conference on Object-Oriented Programming
Aspects for trace monitoring

FATES'06/RV'06 Proceedings of the First combined international conference on Formal Approaches to Software Testing and Runtime Verification

Quantified Score

Hi-index	0.03

Visualization

Abstract

In this paper we describe the high-level architecture for a distributed static analyzer for the C++ programming language. Key features of this technology are its support for semantic queries -- queries that make use of the C++ semantics to interpret information about programs; its use of rules for describing the relations between the program symbols; and its capability to browse remote databases across a network.