Faster checking of software specifications by eliminating isomorphs

Conference Record of the Annual ACM Symposium on Principles of Programming Languages

Volumn , Issue , 1996, Pages 79-90

  Jackson, Daniel ^a   Jha, Somesh ^a   Damon, Craig A ^a  

^a CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; COMPUTER SOFTWARE; SOFTWARE ENGINEERING; SYSTEMS ANALYSIS;

ISOMORPHIC INTERPRETATION; ISOMORPHS; MODEL ENUMERATION; RELATIONAL LANGUAGE; SOFTWARE SPECIFICATIONS;

COMPUTER HARDWARE DESCRIPTION LANGUAGES;

EID: 0029703266     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/237721.237733     Document Type: Conference Paper

References (30)