Title
Reasoning About Programs with Effects
Abstract
Without Abstract
Year
DOI
Venue
1990
10.1007/BFb0024185
PLILP
Field
DocType
Volume
Lambda calculus,Computer science,Region-based memory management,Congruence relation,Calculus
Conference
456
ISSN
ISBN
Citations 
0302-9743
3-540-53010-X
5
PageRank 
References 
Authors
0.94
2
2
Name
Order
Citations
PageRank
Ian A. Mason179797.47
Carolyn Talcott21922168.73