Automatically closing open reactive programs

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

Volumn , Issue , 1998, Pages 345-356

  Colby, Christopher ^a   Godefroid, Patrice ^a   Jagadeesan, Lalita Jategaonkar ^a  

^a LOYOLA UNIVERSITY CHICAGO   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; C (PROGRAMMING LANGUAGE); RESPONSE TIME (COMPUTER SYSTEMS);

AUTOMATICALLY CLOSING OPEN REACTIVE PROGRAMS;

COMPUTER SYSTEMS PROGRAMMING;

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

References (34)