Subtyping For Mutable Types In Object Oriented Programming Languages

Download Subtyping For Mutable Types In Object Oriented Programming Languages full books in PDF, epub, and Kindle. Read online free Subtyping For Mutable Types In Object Oriented Programming Languages ebook anywhere anytime directly on your device. Fast Download speed and no annoying ads. We cannot guarantee that every ebooks is available!

Subtyping Among Mutable Types in Object-oriented Programming Languages

Author	: Krishna Kishore Dhara
Publisher	:
Total Pages	: 116
Release	: 1992
ISBN-10	: OCLC:26063405
ISBN-13	:
Rating	: 4/5 ( Downloads)

DOWNLOAD EBOOK

Book Synopsis Subtyping Among Mutable Types in Object-oriented Programming Languages by : Krishna Kishore Dhara

Download or read book Subtyping Among Mutable Types in Object-oriented Programming Languages written by Krishna Kishore Dhara and published by . This book was released on 1992 with total page 116 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Subtyping Among Mutable Types in Object-oriented Programming Languages Related Books

Language: en
Pages: 116

Subtyping Among Mutable Types in Object-oriented Programming Languages

Authors: Krishna Kishore Dhara

Categories:

Type: BOOK - Published: 1992 - Publisher:

DOWNLOAD EBOOK

Language: en
Pages: 21

Subtyping for Mutable Types in Object-oriented Programming Languages

Authors: Krishna Kishore Dhara

Categories: Object-oriented programming (Computer science)

Type: BOOK - Published: 1992 - Publisher:

DOWNLOAD EBOOK

Abstract: "Subtype relationships in object-oriented programming languages are studied to aid code reuse and reasoning about programs that use subtype polymorphi

Language: en
Pages: 541

ECOOP '93 - Object-Oriented Programming

Authors: Oscar M. Nierstrasz

Categories: Computers

Type: BOOK - Published: 2003-05-16 - Publisher: Springer

DOWNLOAD EBOOK

It is now more than twenty-five years since object-oriented programming was “inve- ed” (actually, more than thirty years since work on Simula started), but,

Language: en
Pages: 596

ZUM '95: The Z Formal Specification Notation

Authors: Jonathan P. Bowen

Categories: Computers

Type: BOOK - Published: 1995-08-23 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book presents the proceedings of the 9th International Conference of Z Users, ZUM '95, held in Limerick, Ireland in September 1995. The book contains 34 ca

Language: en
Pages: 208

Verifying Object-oriented Programs that Use Subtypes

Authors: Gary Todd Leavens

Categories: Programming languages (Electronic computers)

Type: BOOK - Published: 1988 - Publisher:

DOWNLOAD EBOOK