The Resource Object-oriented programming : a unified foundation, Giuseppe Castagna

Object-oriented programming : a unified foundation, Giuseppe Castagna

Label
Object-oriented programming : a unified foundation
Title
Object-oriented programming
Title remainder
a unified foundation
Statement of responsibility
Giuseppe Castagna
Creator
Subject
Language
eng
Member of
Cataloging source
DLC
http://library.link/vocab/creatorDate
1966-
http://library.link/vocab/creatorName
Castagna, Giuseppe
Index
index present
LC call number
QA76.64
LC item number
.C372 1997
Literary form
non fiction
Nature of contents
bibliography
http://library.link/vocab/subjectName
  • Object-oriented programming (Computer science)
  • Programming languages (Electronic computers)
  • système second ordre
  • lambda calcul
  • informatique orientée objet
  • Programmation orientée objet (Informatique)
  • Langages de programmation
  • Object-oriented programming (Computer science)
  • Programming languages (Electronic computers)
  • Langages de programmation
  • Programmation orientée objets (informatique)
  • Objektorientierte Programmierung
Label
Object-oriented programming : a unified foundation, Giuseppe Castagna
Instantiates
Publication
Bibliography note
Includes bibliographical references (p. [345]-357) and index
Carrier category
volume
Carrier category code
nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Contents
  • 4.
  • The [lambda] & -calculus
  • 5.
  • Covariance and contravariance: conflict without a cause
  • 6.
  • Strong Normalization
  • 7.
  • Three variations on the theme
  • 8.
  • Interpretation of object-oriented languages
  • Foreword
  • 9.
  • Imperative features and other widgets
  • 10.
  • Semantics
  • 11.
  • Introduction to part III
  • 12.
  • Second order overloading
  • 13.
  • Second order overloading and object-oriented programming
  • Luca Cardelli
  • 14.
  • Conclusion
  • App. A.
  • Specification of KOOL
  • App. B.
  • Formal definition of the translation
  • 1.
  • Background and notation
  • 2.
  • A quick overview
  • 3.
  • Object-oriented programming
Dimensions
24 cm.
Extent
xviii, 366 pages
Isbn
9783764339050
Lccn
96033163
Media category
unmediated
Media MARC source
rdamedia
Media type code
n
System control number
  • (OCoLC)35128230
  • (OCoLC)ocm35128230
Label
Object-oriented programming : a unified foundation, Giuseppe Castagna
Publication
Bibliography note
Includes bibliographical references (p. [345]-357) and index
Carrier category
volume
Carrier category code
nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
txt
Content type MARC source
rdacontent
Contents
  • 4.
  • The [lambda] & -calculus
  • 5.
  • Covariance and contravariance: conflict without a cause
  • 6.
  • Strong Normalization
  • 7.
  • Three variations on the theme
  • 8.
  • Interpretation of object-oriented languages
  • Foreword
  • 9.
  • Imperative features and other widgets
  • 10.
  • Semantics
  • 11.
  • Introduction to part III
  • 12.
  • Second order overloading
  • 13.
  • Second order overloading and object-oriented programming
  • Luca Cardelli
  • 14.
  • Conclusion
  • App. A.
  • Specification of KOOL
  • App. B.
  • Formal definition of the translation
  • 1.
  • Background and notation
  • 2.
  • A quick overview
  • 3.
  • Object-oriented programming
Dimensions
24 cm.
Extent
xviii, 366 pages
Isbn
9783764339050
Lccn
96033163
Media category
unmediated
Media MARC source
rdamedia
Media type code
n
System control number
  • (OCoLC)35128230
  • (OCoLC)ocm35128230

Library Locations

  • African Studies LibraryBorrow it
    771 Commonwealth Avenue, 6th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Alumni Medical LibraryBorrow it
    72 East Concord Street, Boston, MA, 02118, US
    42.336388 -71.072393
  • Astronomy LibraryBorrow it
    725 Commonwealth Avenue, 6th Floor, Boston, MA, 02445, US
    42.350259 -71.105717
  • Fineman and Pappas Law LibrariesBorrow it
    765 Commonwealth Avenue, Boston, MA, 02215, US
    42.350979 -71.107023
  • Frederick S. Pardee Management LibraryBorrow it
    595 Commonwealth Avenue, Boston, MA, 02215, US
    42.349626 -71.099547
  • Howard Gotlieb Archival Research CenterBorrow it
    771 Commonwealth Avenue, 5th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Mugar Memorial LibraryBorrow it
    771 Commonwealth Avenue, Boston, MA, 02215, US
    42.350723 -71.108227
  • Music LibraryBorrow it
    771 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Pikering Educational Resources LibraryBorrow it
    2 Silber Way, Boston, MA, 02215, US
    42.349804 -71.101425
  • School of Theology LibraryBorrow it
    745 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350494 -71.107235
  • Science & Engineering LibraryBorrow it
    38 Cummington Mall, Boston, MA, 02215, US
    42.348472 -71.102257
  • Stone Science LibraryBorrow it
    675 Commonwealth Avenue, Boston, MA, 02445, US
    42.350103 -71.103784
Processing Feedback ...