Foundations of object-oriented languages types and semantics

Saved in:
Bibliographic Details
Main Author: Bruce, Kim B.
Format: eBook
Language: English
Published: Cambridge, Mass. : MIT Press, ©2002.
Subjects:
Object-oriented programming (Computer science)
Programming languages (Electronic computers)
elektronické knihy
electronic books
ISBN: 9780262255851
Physical Description: 1 online zdroj (xx, 384 pages)

Cover

Table of contents

LEADER 03008cam a2200385 a 4500
001 74742
003 CZ ZlUTB
005 20240911212131.0
006 m d
007 cr un
008 030402s2002 mau sb 001 0 eng d
020 |a 9780262255851  |q (ebook) 
035 |a (OCoLC)51958214  |z (OCoLC)51488097  |z (OCoLC)827012385 
040 |a N$T  |b eng  |e pn  |c N$T  |d YDXCP  |d OCLCQ  |d TUU  |d OCLCQ  |d TNF  |d OCLCQ  |d COO  |d B24X7  |d IEEEE  |d OCLCO  |d ZCU  |d OCLCF  |d OCLCQ 
100 1 |a Bruce, Kim B. 
245 1 0 |a Foundations of object-oriented languages  |h [elektronický zdroj] :  |b types and semantics /  |c Kim B. Bruce. 
260 |a Cambridge, Mass. :  |b MIT Press,  |c ©2002. 
300 |a 1 online zdroj (xx, 384 pages) 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
504 |a Includes bibliographical references (pages 367-377) and index. 
505 0 0 |g I.  |t Type Problems in Object-Oriented Languages --  |g 1.  |t Introduction --  |g 2.  |t Fundamental Concepts of Object-Oriented Languages --  |g 3.  |t Type Problems in Object-Oriented Languages --  |g 4.  |t Adding Expressiveness to Object-Oriented Languages --  |g 5.  |t Understanding Subtypes --  |g 6.  |t Type Restrictions on Subclasses --  |g 7.  |t Varieties of Object-Oriented Programming Languages.  |t Historical Notes and References for Section I --  |g II.  |t Foundations: The Lambda Calculus --  |g 8.  |t Formal Language Descriptions and the Lambda Calculus --  |g 9.  |t The Polymorphic Lambda Calculus.  |t Historical Notes and References for Section II. 
505 0 0 |g III.  |t Formal Descriptions of Object-Oriented Languages --  |g 10.  |t SOOL, a Simple Object-Oriented Language --  |g 11.  |t A Simple Translational Semantics of Objects and Classes --  |g 12.  |t Improved Semantics for Classes --  |g 13.  |t SOOL's Type System Is Safe (and Sound) --  |g 14.  |t Completing SOOL: super, nil, Information Hiding, and Multiple Inheritance.  |t Historical Notes and Reference for Section III --  |g IV.  |t Extending Simple Object-Oriented Languages --  |g 15.  |t Adding Bounded Polymorphism to SOOL --  |g 16.  |t Adding MyType to Object-Oriented Programming Languages --  |g 17.  |t Match-Bounded Polymorphism. 
505 0 0 |g 18.  |t Simplifying: Dropping Subtyping for Matching.  |t Historical Notes and References for Section IV. 
506 |a Plný text je dostupný pouze z IP adres počítačů Univerzity Tomáše Bati ve Zlíně nebo vzdáleným přístupem pro zaměstnance a studenty univerzity 
650 0 |a Object-oriented programming (Computer science) 
650 0 |a Programming languages (Electronic computers) 
655 7 |a elektronické knihy  |7 fd186907  |2 czenas 
655 9 |a electronic books  |2 eczenas 
776 0 8 |i Print version:  |a Bruce, Kim B.  |t Foundations of object-oriented languages.  |d Cambridge, Mass. : MIT Press, ©2002  |z 026202523X  |w (DLC) 2001054613  |w (OCoLC)48223020 
856 4 0 |u https://proxy.k.utb.cz/login?url=http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267232  |y Plný text 
992 |a BK  |c EBOOK-TN  |c MITPRESS 
999 |c 74742  |d 74742 
993 |x NEPOSILAT  |y EIZ 

Similar Items