Logical Foundations for Typed Object-Oriented Languages

Publisher Website

1 January 1998

book chapter
Published by Springer Nature

p. 404-423
https://doi.org/10.1007/978-0-387-35358-6_26

Abstract

No abstract available

Keywords

This publication has 3 references indexed in Scilit:

Formal Specification Techniques for Object-Oriented Programs
Published by Springer Nature ,1997
Ten Years of Hoare's Logic: A Survey—Part I
ACM Transactions on Programming Languages and Systems, 1981
The Science of Programming
Published by Springer Nature ,1981