Abstract is missing.
- The Concert Signature Representation: IDL as Intermediate LanguageJoshua S. Auerbach, James R. Russell. 1-12
- ADL - An Interface Definition Language for Specifying and Testing SoftwareSriram Sankar, Roger Hayes. 13-21
- Polymorphism and Subtyping in InterfacesDinesh Katiyar, David C. Luckham, John C. Mitchell. 22-34
- Beyond Definition/Use: Architectural InterconnectionRobert J. Allen, David Garlan. 35-45
- A Pragmatic Approach to Software SynthesisBurkhard Freitag, Tiziana Margaria, Bernhard Steffen. 46-58
- A Checkable Interface Language for Pointer-Based StructuresJames R. Russell, Robert E. Strom, Daniel M. Yellin. 59-73
- Interface Language for Supporting Programming StylesYang Meng Tan. 74-83
- Adding Performance Information to ADT InterfacesDon Cohen, Neil M. Goldman, Khaled Narayanaswamy. 84-93
- A Client-Side Stub InterpreterPeter B. Kessler. 94-100
- Interface Definition Language Conversions: Recursive TypesDavid E. Gay. 101-110
- Interfaces and Extended MLStefan Kahrs, Donald Sannella, Andrzej Tarlecki. 111-118
- Using Interface Inheritance to Address Problems in System Software EvolutionGraham Hamilton, Sanjay R. Radia. 119-128
- Inheritance of Interface Specifications (Extended Abstract)Gary T. Leavens. 129-138