Non pair-sharing and freeness analysis through linear refinement

Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation

Volumn , Issue , 2000, Pages 52-61

  Levi, Giorgio ^a   Spoto, Fausto ^a  

^a UNIVERSITY OF PISA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; COMPUTER PROGRAMMING LANGUAGES;

FREENESS ANALYSIS; LINEAR REFINEMENT; PAIR-SHARING ANALYSIS;

COMPUTER SOFTWARE SELECTION AND EVALUATION;

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

References (21)