Catching bugs in the web of program invariants

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)

Volumn , Issue , 1996, Pages 23-32

  Flanagan, Cormac ^a   Flatt, Matthew ^a   Krishnamurthi, Shriram ^a   Weirich, Stephanie ^a   Felleisen, Matthias ^a  

^a RICE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER OPERATING PROCEDURES; COMPUTER PROGRAMMING LANGUAGES; ERROR DETECTION; FLOWCHARTING; INTERACTIVE COMPUTER SYSTEMS; RESPONSE TIME (COMPUTER SYSTEMS); SET THEORY;

PROGRAM ANALYSIS; RUN TIME ERRORS; STATIC DEBUGGER;

PROGRAM DEBUGGING;

EID: 0029703455     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/231379.231387     Document Type: Conference Paper

References (28)