Weak Behavioral Subtyping for Types with Mutable Objects (1994)

Cached

Download Links

by Krishna Kishore Dhara , Gary T. Leavens
Venue:MATHEMATICAL FOUNDATIONS OF PROGRAMMING SEMANTICS, ELEVENTH ANNUAL CONFERENCE, VOLUME 1 OF ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE
Citations:17 - 9 self