Зарегистрироваться
Восстановить пароль
FAQ по входу

Abadi Martín, Cardelli Luca. A Theory of Objects

  • Файл формата pdf
  • размером 26,15 МБ
  • Добавлен пользователем
  • Отредактирован
Abadi Martín, Cardelli Luca. A Theory of Objects
Softcover reprint of the hardcover 1st edition, corrected second printing. — Springer, 1998. — 396 pages. — (Monographs in Computer Science). — ISBN 978-1-4612-6445-3, ISBN 978-1-4419-8598-9.
Review: Object-Oriented Features
Object Orientation
Class-Based Languages
Advanced Object-Oriented Features
Object-Oriented Languages
Modeling Object-Oriented Languages
Untyped and First-Order Calculi
Untyped Calculi
First-Order Calculi
Subtyping
Recursion
Untyped Imperative Calculi
First-Order Imperative Calculi
A First-Order Language
Second-Order Calculi
Second-Order Calculi
A Semantics
Definable Covariant Self Types
Primitive Covariant Self Types
Imperative Calculi with Self Types
Interpretations of Object Calculi
A Second-Order Calculi
Higher-Order Calculi
A Higher-Order Calculus
A Language with Pattern Matching
Appendix: Rules and Proofs
Fragments
Systems
Proofs
  • Чтобы скачать этот файл зарегистрируйтесь и/или войдите на сайт используя форму сверху.
  • Регистрация