Proving the correctness of reactive systems using sized types

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

Volumn , Issue , 1996, Pages 410-423

  Hughes, John ^a   Pareto, Lars ^a   Sabry, Amr ^a  

^a CHALMERS UNIVERSITY OF TECHNOLOGY   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; COMPUTATIONAL LINGUISTICS; COMPUTER SOFTWARE; ERROR ANALYSIS; ERROR DETECTION; HIGH LEVEL LANGUAGES; PROGRAM DEBUGGING;

DEADLOCKS DETECTION; EMBEDDED FUNCTIONAL PROGRAMS; FUNCTIONAL LANGUAGES; REACTIVE SYSTEMS; SEMANTICS; SIZED TYPES; SYNTAX;

DATA STRUCTURES;

EID: 0029717391     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/237721.240882     Document Type: Conference Paper

References (18)