Promises: Limited specifications for analysis and manipulation

Proceedings - International Conference on Software Engineering

Volumn , Issue , 1998, Pages 167-176

  Chan, Edwin C ^a   Boyland, John T ^a   Scherlis, William L ^a  

^a CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SYSTEMS PROGRAMMING; PROGRAM COMPILERS; STORAGE ALLOCATION (COMPUTER); DATA STRUCTURES; DISTRIBUTED COMPUTER SYSTEMS; HUMAN COMPUTER INTERACTION; INFORMATION MANAGEMENT;

ALIASING; FORMAL SPECIFICATIONS; PROGRAM RESTRUCTURING; SOFTWARE PACKAGE PROMISES;

COMPUTER SOFTWARE SELECTION AND EVALUATION; SOFTWARE ENGINEERING;

EID: 0031597163     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (22)