IDL 1994: Portland, Oregon

Jeannette M. Wing (Ed.): Proceedings of the Workshop on Interface Definition Languages, January 20, 1994, Portland, Oregon, in conjunction with POPL 1994. SIGPLAN Notices 29(8), August 1994

Interface Languages

Joshua S. Auerbach, James R. Russell: The Concert Signature Representation: IDL as Intermediate Language. 1-12
Sriram Sankar, Roger Hayes: ADL - An Interface Definition Language for Specifying and Testing Software. 13-21
Dinesh Katiyar, David C. Luckham, John C. Mitchell: Polymorphism and Subtyping in Interfaces. 22-34

Putting Interfaces Together

Robert J. Allen, David Garlan: Beyond Definition/Use: Architectural Interconnection. 35-45
Burkhard Freitag, Tiziana Margaria, Bernhard Steffen: A Pragmatic Approach to Software Synthesis. 46-58

Relating Interfaces and Implementations

James R. Russell, Robert E. Strom, Daniel M. Yellin: A Checkable Interface Language for Pointer-Based Structures. 59-73
Yang Meng Tan: Interface Language for Supporting Programming Styles. 74-83

Short Presentations

Don Cohen, Neil M. Goldman, Khaled Narayanaswamy: Adding Performance Information to ADT Interfaces. 84-93
Peter B. Kessler: A Client-Side Stub Interpreter. 94-100
David E. Gay: Interface Definition Language Conversions: Recursive Types. 101-110
Stefan Kahrs, Donald Sannella, Andrzej Tarlecki: Interfaces and Extended ML. 111-118
Graham Hamilton, Sanjay R. Radia: Using Interface Inheritance to Address Problems in System Software Evolution. 119-128
Gary T. Leavens: Inheritance of Interface Specifications (Extended Abstract). 129-138