IDL 1994: Portland, Oregon

Jeannette M. Wing, Richard L. Wexelblat (Eds.): Proceedings of the Workshop on Interface Definition Languages, January 20, 1994, Portland, Oregon, USA, in conjunction with POPL 1994. ACM Press 1994

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

Last update Wed May 23 00:56:08 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page