Sharing analysis based on type inference

Authors
Yasuhiko Minamide
Citation
Yasuhiko Minamide, Sharing analysis based on type inference, Formal aspects of computing The international journal of formal methods , 6(6), 1994, pp. 659-675
Journal title
Formal aspects of computing The international journal of formal methods → ACNP
ISSN journal
09345043
Volume
6
Issue
6
Year of publication
1994
Pages
659 - 675
Database
ACNP
SICI code