Formally optimal boxing

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

Volumn , Issue , 1994, Pages 213-226

  Henglein, Fritz ^a   Jorgensen, Jesper ^a  

^a UNIVERSITY OF COPENHAGEN   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING; DATA STORAGE EQUIPMENT; PROGRAM DIAGNOSTICS; PROGRAMMING THEORY;

AXIOMATIZE; BOXING; SEMANTICS;

COMPUTER PROGRAMMING LANGUAGES;

EID: 0028016856     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/174675.177874     Document Type: Conference Paper

References (0)