Enforcing trace properties by program transformation

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

Volumn , Issue , 2000, Pages 54-66

  Colcombet, Thomas ^a   Fradet, Pascal ^a  

^a CAMPUS DE BEAULIEU   (France)

Author keywords

[No Author keywords available]

Indexed keywords

DATA PRIVACY; SECURITY OF DATA;

PROGRAM TRANSFORMATION; TRACE PROPERTIES;

PROGRAM DIAGNOSTICS;

EID: 0033687342     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/325694.325703     Document Type: Conference Paper

References (23)