Preliminary design of ADL/C++: a specification language for C++

Authors:
Sreenivasa Rao Viswanadha;Sriram Sankar
Affiliations:
Department of Computer Science, State University of New York, Albany, NY;Sun Microsystems Laboratories, Mountain View, CA
Venue:
COOTS'96 Proceedings of the 2nd conference on USENIX Conference on Object-Oriented Technologies (COOTS) - Volume 2
Year:
1996

Citing 5
Cited 1

Understanding Z: a specification language and its formal semantics

Understanding Z: a specification language and its formal semantics
The C++ programming language (2nd ed.)

The C++ programming language (2nd ed.)
Larch: languages and tools for formal specification

Larch: languages and tools for formal specification
ADL—an interface definition language for specifying and testing software

IDL '94 Proceedings of the workshop on Interface definition languages
A behavioral notion of subtyping

ACM Transactions on Programming Languages and Systems (TOPLAS)

IBDL: a language for interface behavior specification and testing

COOTS'98 Proceedings of the 4th conference on USENIX Conference on Object-Oriented Technologies and Systems - Volume 4

Quantified Score

Hi-index	0.00

Visualization

Abstract

We describe two generic optimization techniques to improve run-time performance of C++ virtual function calls: type specification and type prediction. Both involve program analysis that results in a set of call sites to be optimized, and code transformations ...