Robin Milner: Perbedaan antara revisi
Impor teks terkontrol dari Wikipedia bahasa Indonesia; revisi 28491324; atribusi sumber disertakan. |
Presentation V4: sitasi, referensi, Math, Wikimedia Commons, dan atribusi |
||
| Baris 8: | Baris 8: | ||
== Sumber == | == Sumber == | ||
* ''[http://mitpress.mit.edu/catalog/item/default.asp?ttype=2&tid=3797 Proof, Language, and Interaction: Essays in Honour of Robin Milner] '', edited by [[Gordon Plotkin]], Colin Stirling and Mads Tofte. [[The MIT Press]], [[2000]]. ISBN 0-262-16188-5. | * ''[http://mitpress.mit.edu/catalog/item/default.asp?ttype=2&tid=3797 Proof, Language, and Interaction: Essays in Honour of Robin Milner] '', edited by [[Gordon Plotkin]], Colin Stirling and Mads Tofte. [[The MIT Press]], [[2000]]. ISBN 0-262-16188-5. | ||
== Pranala luar == | == Pranala luar == | ||
* [http://www.cl.cam.ac.uk/users/rm135/ Milner's Cambridge homepage] | * [http://www.cl.cam.ac.uk/users/rm135/ Milner's Cambridge homepage] | ||
* [http://www.dcs.qmul.ac.uk/~martinb/interviews/milner/ An interview with Robin Milner] by Martin Berger, [[3 September]] [[2003]] | * [http://www.dcs.qmul.ac.uk/~martinb/interviews/milner/ An interview with Robin Milner] by Martin Berger, [[3 September]] [[2003]] | ||
* [http://north.ecc.edu/alsani/ct01(1-4)/msg00041.html A review of ''Proof, Language, and Interaction''] , a book on computer science dedicated to Milner and covering many areas of his work | * [http://north.ecc.edu/alsani/ct01(1-4)/msg00041.html A review of ''Proof, Language, and Interaction''] , a book on computer science dedicated to Milner and covering many areas of his work | ||
* [http://www.fairdene.com/picalculus/robinmilner.html A brief biography of and speech by Robin Milner] | * [http://www.fairdene.com/picalculus/robinmilner.html A brief biography of and speech by Robin Milner] | ||
== Sumber dan atribusi == | == Sumber dan atribusi == | ||
Konten artikel ini diadaptasi dari [https://id.wikipedia.org/w/index.php?title=Robin+Milner&oldid=28491324 Wikipedia bahasa Indonesia], revisi 28491324 (2025-11-14T17:15:09Z), yang tersedia berdasarkan lisensi Creative Commons Atribusi-BerbagiSerupa (CC BY-SA). Mohon gunakan konten ini secara bijak serta sesuai dengan ketentuan lisensi yang berlaku. | Konten artikel ini diadaptasi dari [https://id.wikipedia.org/w/index.php?title=Robin+Milner&oldid=28491324 Wikipedia bahasa Indonesia], revisi 28491324 (2025-11-14T17:15:09Z), yang tersedia berdasarkan lisensi Creative Commons Atribusi-BerbagiSerupa (CC BY-SA). Mohon gunakan konten ini secara bijak serta sesuai dengan ketentuan lisensi yang berlaku. | ||
<!-- WIKI_UNISSULA_PRESENTATION_V4 --> | |||
Revisi terkini sejak 23 Agustus 2026 04.13
Robin Milner () adalah ilmuwan komputer dari Inggris.
Milner lulus dari King's College, Cambridge pada tahun 1957, dan sempat menjadi guru, dan programmer sebelum akhirnya kembali ke dunia akademik. Posisi terakhir yang dijabatnya adalah sebagai kepala lab di Computer Laboratory hingga tahun 1995.
Kontribusi Milner terhadap bidang ilmu komputer adalah mengembangkan LCF, alat bantu untuk pembuktian teorema otomatis. Alat bantu ini menyediakan bahasa khusus bernama ML. Milner juga mengembangkan kerangka teori untuk menganalisis sistem konkuren, yang disebut sebagai Calculus of Communicating Systems (CCS), dan kemudian dikembangkan menjadi pi-Calculus.
Pada tahun 1991, Milner mendapat penghargaan Turing Award.
Sumber
- Proof, Language, and Interaction: Essays in Honour of Robin Milner , edited by Gordon Plotkin, Colin Stirling and Mads Tofte. The MIT Press, 2000. ISBN 0-262-16188-5.
Pranala luar
- Milner's Cambridge homepage
- An interview with Robin Milner by Martin Berger, 3 September 2003
- A review of Proof, Language, and Interaction , a book on computer science dedicated to Milner and covering many areas of his work
- A brief biography of and speech by Robin Milner
Sumber dan atribusi
Konten artikel ini diadaptasi dari Wikipedia bahasa Indonesia, revisi 28491324 (2025-11-14T17:15:09Z), yang tersedia berdasarkan lisensi Creative Commons Atribusi-BerbagiSerupa (CC BY-SA). Mohon gunakan konten ini secara bijak serta sesuai dengan ketentuan lisensi yang berlaku.