Behavioral Contracts and Behavioral Subtyping (2001)

by Robert Bruce Findler , Mario Latendresse , Matthias Felleisen
Venue:In Proceedings of ACM Conference Foundations of Software Engineering
Citations:29 - 2 self

Document Versions

Behavioral Contracts and Behavioral Subtyping –Robert Bruce Findler, Mario Latendresse, Matthias Felleisen — 2001 — In Proceedings of ACM Conference Foundations of Software Engineering
Behavioral Contracts and Behavioral Subtyping –Robert Bruce Findler, Mario Latendresse, Matthias Felleisen — 2001 — In Proceedings of ACM Conference Foundations of Software Engineering
Behavioral contracts and behavioral subtyping –Robert Bruce Findler — 2001 — In Proceedings of ACM Conference Foundations of Software Engineering