籌款 9月15日 2024 – 10月1日 2024 關於籌款

Foundations of Object-Oriented Languages: Types and...

Main
Computers - Programming
Foundations of Object-Oriented...

Foundations of Object-Oriented Languages: Types and Semantics

Kim B. Bruce

0 / 0

你有多喜歡這本書？

文件的質量如何？

下載本書進行質量評估

下載文件的質量如何？

A presentation of the formal underpinnings of object-oriented programming languages.

類別:

Computers - Programming

年:

2002

出版商:

The MIT Press

語言:

english

頁數:

405

ISBN 10:

0585442665

ISBN 13:

9780585442662

文件:

PDF, 3.62 MB

IPFS:

,

english, 2002

線上閱讀

轉換進行中

轉換為失敗

你可能感興趣

Glynn Winskel — The Formal Semantics of Programming Languages: An Introduction (Foundations of Computing)

[英]萨利·伯吉斯等 — 朗文语言教学与语言测试

Benjamin C. Pierce, Arthur Azevedo de Amorim, Chris Casinghino, Marco Gaboardi, Michael Greenberg, Cătălin Hriţcu, Vilhelm Sjöberg, Brent Yorgey — Software Foundations 1 LOGICAL FOUNDATIONS

Benjamin C. Pierce, Arthur Azevedo de Amorim, Chris Casinghino, Marco Gaboardi, Michael Greenberg, Cătălin Hriţcu, Vilhelm Sjöberg, Andrew Tolmach, Brent Yorgey — Software Foundations vol 2 Programming Language Foundations

Andrew W. Appel — Software Foundations Vol 3 Verified Functional Algorithms

Leonidas, Lampropoulos Benjamin, C. Pierce — Software Foundations Vol 4 QuickChick

David Watt, Deryck Brown — Programming language processors in Java: compilers and interpreters

Paul Graham — On LISP: Advanced Techniques for Common LISP

Bertrand Meyer — Object-Oriented Software Construction (Book/CD-ROM)

Kenneth Slonneger, Barry L. Kurtz — Formal Syntax and Semantics of Programming Languages: A Laboratory Based Approach

Andrea Asperti, Giuseppe Longo — Categories, types, and structures. Introduction to category theory for computer scientists

Kim B. Bruce — Foundations of Object-Oriented Languages: Types and Semantics

Carl A. Gunter, John C. Mitchell — Theoretical Aspects of Object-Oriented Programming: Types, Semantics, and Language Design

John C. Mitchell — Foundations for programming languages

Benjamin C. Pierce — Advanced Topics in Types and Programming Languages

Daniel P. Friedman; David Thrane Christiansen — The Little Typer

David A. Watt — Programming Language Design Concepts

John C. Mitchell — Concepts in Programming Languages

John C. Mitchell, Krzysztof Apt — Concepts in Programming Languages

Martín Abadi, Luca Cardelli — A theory of Objects

Next Computer Inc — Nextstep Object-Oriented Programming and the Objective C Language: Release 3 (Next Developer's Library)

S BASU — Java Programming For Kids ages 12 – 18 : Simple, Concise & Easy guide to Java Programming Language

BASU, S — Java Programming For Kids ages 12 – 18 : Simple, Concise & Easy guide to Java Programming Language

S BASU [BASU, S] — Java Programming For Kids ages 12 – 18 : Simple, Concise & Easy guide to Java Programming Language

BASU, S [BASU, S] — Java Programming For Kids ages 12 – 18 : Simple, Concise & Easy guide to Java Programming Language

S. BASU — Java Programming For Kids ages 12 – 18 : Simple, Concise & Easy guide to Java Programming Language

Iain D. Craig — Object-Oriented Programming Languages

Peter Müller — Introduction to Object-Oriented Programming using C++

Cardelli L., Wegner P. — On Understanding Types, Data Abstraction and Polymorphism

coll. — Object-Oriented Programming with Objective-C

Oscar Nierstrasz — Programming Languages (Lectures Slides)

Giuseppe Castagna — LNCS 5502 - Programming Languages and SystemsProgramming Languages and Systems (Frontmatter Pages)

SAP — SAP ABAP Objects BC401

Luca Cardelli — Typeful programming

Gérard Huet — Logical foundations of functional programming

Timothy A. Budd — An Introduction to Object-Oriented Programming

Benjamin C. Pierce & Benjamin C. (professor Pierce, University Of Pennsylvania) — Types and Programming Languages

Jens Palsberg, Michael I. Schwartzbach — Object-Oriented Type Systems

John C. Mitchell, Krzysztof Apt — Concepts in programming languages

Stephen Randy Davis, Chuck Sphar — C# 2005 For Dummies

Mohamed Musthafa MC, Divya Sachdeva, Reza Nafim — Mastering C#: A Beginner's Guide

Martín Abadi, Luca Cardelli — A theory of objects

最常見的術語