Text

Proof, Language, and Interaction; Essays in Honour of Robin Milner

---

Kumpulan esai asli ini mencerminkan luasnya penelitian terkini dalam ilmu komputer. Kumpulan esai asli ini mencerminkan luasnya penelitian terkini dalam ilmu komputer. Robin Milner, tokoh utama dalam bidang ini, telah memberikan banyak kontribusi mendasar, khususnya dalam ilmu komputer teoretis, teori bahasa pemrograman, dan bahasa pemrograman fungsional. Setelah biografi singkat Milner, buku ini berisi lima bagian: Fondasi Semantik, Logika Pemrograman, Bahasa Pemrograman, Konkurensi, dan Mobilitas. Bersama-sama bagian-bagian tersebut menyampaikan keseluruhan yang mulus, mulai dari konsep yang sangat abstrak hingga sistem dengan utilitas yang besar.KontributorSamson Abramsky, J. C. M. Baeten, Sergey Berezin, J. A. Bergstra, G{acute}erard Berry, Lars Birkedal, G{acute}erard Boudol, Edmund Clarke, Pierre Collette, Robert L. Constable, Pierre-Louis Curien, Jaco de Bakker, Uffe H. Engberg, William Ferreira, Fabio Gadducci, Mike Gordon, Robert Harper, Matthew Hennessy, Yoram Hirshfeld, C. A. R. Hoare, G{acute}erard Huet, Paul B. Jackson, Alan S. A. Jeffrey, Somesh Jha, He Jifeng, Cliff B. Jones, Cosimo Laneve, Xinxin Liu, Will Marrero, Faron Moller, Ugo Montanari, Pavel Naumov, Mogens Nielsen, Joachim Parrow, Lawrence C. Paulson, Benjamin C. Pierce, Gordon Plotkin, M. A. Reniers, Amokrane Sa{uml}ibi, Augusto Sampaio, Davide Sangiorgi, Scott A. Smolka, Eugene W. Stark, Christopher Stone, Mads Tofte, David N. Turner, Juan Uribe, Franck van Breugel, David Walker, Glynn Winskel

---

Availability

No copy data

Detail Information

Series Title

-

Call Number

004.01 PLO p

Publisher

Cambridge, Massachusetts; USA : Massachusetts Institute of Technology Press., 2000

Collation

1 online resource (xiv, 722 pages)

Language

English

ISBN/ISSN

9780262281676

Classification

004.01

Content Type

text

Media Type

computer

Carrier Type

online resource

Edition

-

Subject(s)

Penelitian dan Metode Ilmiah dalam Ilmu Komputer

Specific Detail Info

-

Statement of Responsibility

Gordon Plotkin, Colin Patrick Stirling, Mads Tofte

Other Information

Cataloger

erwin

Source

https://doi.org/10.7551/mitpress/5641.001.0001?locatt=mode:legacy;http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf

Validator

erwin

Digital Object Identifier (DOI)

https://doi.org/10.7551/mitpress/5641.001.0001

Journal Volume

-

Journal Issue

-

Subtitle

-

Parallel Title

-

Other version/related

File Attachment

Comments

---

You must be logged in to post a comment