Shape analysis for mobile ambients

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

Volumn , Issue , 2000, Pages 142-154

  Nielson, Hanne Riis ^a   Nielson, Flemming ^a  

^a AARHUS UNIVERSITY   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL GRAMMARS; DATA STRUCTURES; TREES (MATHEMATICS);

MOBILE AMBIENTS; POINTER ANALYSIS; SHAPE ANALYSIS;

PROGRAM DIAGNOSTICS;

EID: 0033686212     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/325694.325711     Document Type: Conference Paper

References (19)