occam-π

occam-π

In computer science, occam-π (or occam-pi) is the name of a variant of the occam programming language developed by the Kent Retargetable occam Compiler (KRoC) team at the University of Kent.[1] The name reflects the introduction of elements of the π-calculus into occam, particularly concepts involving mobile processes and data. The language contains a significant number of extensions to occam 2.1, including:

  • Nested protocols
  • Run-time process creation
  • Mobile channels, data, and processes
  • Recursion
  • Protocol inheritance
  • Array constructors
  • Extended rendezvous


See also

References

  1. ^ Fred Barnes and Peter Welch (2006-01-14). "occam-pi: blending the best of CSP and the pi-calculus". http://www.cs.kent.ac.uk/projects/ofa/kroc/. Retrieved 2006-11-24. 

External links



Wikimedia Foundation. 2010.

Игры ⚽ Поможем решить контрольную работу

Look at other dictionaries:

  • Occam — Эта статья о языке программирования; о философе см.: Оккам, Уильям. Язык программирования Оккам (англ. Occam)  это процедурный язык параллельного программирования высокого уровня, разработанный в начале 1980 х годов группой учёных из… …   Википедия

  • Occam — Paradigmen: imperativ, parallel Erscheinungsjahr: 1985 Entwickler: Inmos Ltd. Aktuelle Version: 2.1  () …   Deutsch Wikipedia

  • Occam — (spr. Okkäm), Wilhelm von O., geb. in Occam, einem Dorfe in Surreyshire, zu Ende des 13. Jahrh., wurde Franciscaner u. Archidiakon in Stowe, ging dann nach Paris, wo er Schüler von Duns Scotus wurde, lehrte zu Anfang des 14. Jahrh. Theologie in… …   Pierer's Universal-Lexikon

  • Occam — (Ockham), Wilhelm von, berühmter Scholastiker, mit dem Beinamen Doctor invincibilis und singularis, geb. 1270 zu Occam in der englischen Grafschaft Surrey, gest. 7. April 1347 in München, ward frühzeitig Franziskaner, ging nach Paris, hatte hier… …   Meyers Großes Konversations-Lexikon

  • Occam — Occam, Wilh. von, Scholastiker, geb. um 1280 zu Occam (Surrey), Franziskaner, Schüler des Duns Scotus, lehrte in Paris, stand bei den innern Kämpfen seines Ordens auf der Seite der Spiritualen, mußte deshalb 1328 vor Papst Johann XXII. bei Ludwig …   Kleines Konversations-Lexikon

  • Occam — (Guillaume d ). V. Guillaume d Occam …   Encyclopédie Universelle

  • Occam — Occam, Ocham, Wilhelm von, berühmter Scholastiker, geb. in der engl. Grafschaft Surrey, Schüler des Duns Scotus, gest. zwischen 1343–50 zu München. Man nannte ihn als den Begründer der Schule der nominalistischen O. isten den inceptor venerabilis …   Herders Conversations-Lexikon

  • OCCAM — [ ɔkam] Kunstw. zum Namen Ockham; vgl. ↑Ockhamismus> eine Programmiersprache, die die Programmverarbeitung in Transputersystemen (↑Transputer) unterstützt …   Das große Fremdwörterbuch

  • Occam — (Ockham) (izg. òkem), William (o.1290 o.1350) DEFINICIJA engleski teolog, franjevac, kasni skolastički filozof; pokrenuo jedan oblik nominalizma (Suma ukupne logike), usp. okamizam …   Hrvatski jezični portal

  • Occam — William of see OCKHAM William of …   English World dictionary

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”