أوكام-π

في علوم الحاسوب ، يُعرف اسم occam-π (أو occam-pi ) بأنه اسم نسخة معدلة من لغة البرمجة occam، طوّرها فريق Kent Retargetable occam Compiler ( KRoC ) في جامعة كنت . [ 1 ] ويعكس هذا الاسم إدخال عناصر من حساب باي (π-calculus) إلى لغة occam، لا سيما المفاهيم المتعلقة بالعمليات المتنقلة (العمليات) والبيانات. وتتضمن هذه اللغة العديد من الإضافات إلى occam 2.1، منها:

انظر أيضاً

مراجع

  1. بارنز، فريد؛ ويلش، بيتر (14 يناير 2006). "أوكام-باي: مزج أفضل ما في نظرية الحلول المنطقية وحساب باي" . تم الاطلاع عليه بتاريخ 24 نوفمبر 2006 .