A module interface specification language

Authors:
E. W. Thompson;R. F. Bridge
Affiliations:
-;-
Venue:
DAC '75 Proceedings of the 12th Design Automation Conference
Year:
1975

Citing 4
Cited 3

A technique for software module specification with examples

Communications of the ACM
On the criteria to be used in decomposing systems into modules

Communications of the ACM
Global variable considered harmful

ACM SIGPLAN Notices
Variables: bindings and protection

ACM SIGPLAN Notices

Data tracking

ACM SIGDA Newsletter
Bridges: a tool for increasing the reliability of references to Fortran variables

ACM SIGPLAN Notices
Parameter validation for software reliability

ACM SIGPLAN Notices

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents a module interface specification language which helps alleviate the difficulties encountered in designing, managing and maintaining interfaces in large software system.