Using meta-level compilation to check FLASH protocol code

International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS

Volumn , Issue , 2000, Pages 59-70

  Chou, A ^a   Chelf, B ^a   Engler, D ^a   Heinrich, M ^a  

^a STANFORD UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BUFFER STORAGE; COMPUTER SIMULATION; COMPUTER SOFTWARE; ERROR ANALYSIS; FLASH MEMORY; METADATA; MULTIPROCESSING SYSTEMS; PROGRAM COMPILERS;

KERNELS; META-LEVEL COMPILATION;

EMBEDDED SYSTEMS;

EID: 0034440476     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/378995.379002     Document Type: Conference Paper

References (29)