Share to: share facebook share twitter share wa share telegram print page

Occam-π

Occam-π (atau occam-pi) adalah varian dari bahasa pemrograman occam yang dikembangkan oleh tim Kent Retargetable Occam Compiler (KRoC) di Universitas Kent.[1] Nama occam-π mencerminkan pengenalan elemen-elemen dari π-kalkulus (pi-kalkulus) ke dalam bahasa occam, terutama konsep yang melibatkan agen yang bergerak (proses) dan data.

Bahasa ini mencakup beberapa ekstensi untuk occam 2.1, yang di antaranya adalah:

  • Protokol bersarang
  • Pembuatan proses run-time
  • Saluran seluler, data, dan proses
  • Rekursi
  • Pewarisan protokol
  • Konstruktor array
  • Pertemuan diperpanjang

Lihat juga

Pranala luar

Referensi

  1. ^ "occam-pi and KRoC: blending CSP and the pi-calculus". www.cs.kent.ac.uk. Diakses tanggal 2025-04-27.
Kembali kehalaman sebelumnya