Beyond definition/use: Architectural interconnection

ACM SIGPLAN Notices

Volumn 29, Issue 8, 1994, Pages 35-45

  Allen, Robert ^a   Garlan, David ^a  

^a CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES;

AUTOMATED CHECKS; FORMAL DEFINITION; FORMAL REASONING; LARGE SOFTWARE SYSTEMS; PATTERNS OF COMMUNICATION;

AUTOMATA THEORY;

EID: 84910593224     PISSN: 15232867     EISSN: None     Source Type: Journal    
DOI: 10.1145/185084.185101     Document Type: Conference Paper

References (0)