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:19 - 11 self