In
computer science
Computer science is the study of computation, information, and automation. Computer science spans Theoretical computer science, theoretical disciplines (such as algorithms, theory of computation, and information theory) to Applied science, ...
, occam-Ï€ (or occam-pi) is the name of a variant of the programming language
occam developed by the Kent Retargetable occam Compiler (
KRoC
Kroc is a surname. Notable people with the name include:
* Janae Kroc (born 1972), bodybuilder and powerlifter
* Joan Kroc (1929–2003), American philanthropist
* Ray Kroc (1902–1984), American founder of McDonald's
See also
*Krock (disam ...
) team at the
University of Kent
The University of Kent (formerly the University of Kent at Canterbury, abbreviated as UKC) is a Collegiate university, collegiate public university, public research university based in Kent, United Kingdom. The university was granted its roya ...
.
The name reflects the introduction of elements of
Ï€-calculus
In theoretical computer science, the -calculus (or pi-calculus) is a process calculus. The -calculus allows channel names to be communicated along the channels themselves, and in this matter, it is able to describe concurrent computations whose ...
(pi-calculus) into occam, especially concepts involving
mobile agent
In computer science, a mobile agent is a piece of software agent combined with data that is able to migrate from one computer to another autonomously and continue its execution on the destination with the ability to interact with other agents ther ...
s (processes) and data. The language contains several extensions to occam 2.1, including:
*
Nested protocols
Protocol may refer to:
Sociology and politics
* Protocol (politics), a formal agreement between nation states
* Protocol (diplomacy), the etiquette of diplomacy and affairs of state
* Etiquette, a code of personal behavior
Science and technology
...
*Run-time process creation
*Mobile channels, data, and processes
*
Recursion
Recursion occurs when the definition of a concept or process depends on a simpler or previous version of itself. Recursion is used in a variety of disciplines ranging from linguistics to logic. The most common application of recursion is in m ...
*Protocol
inheritance
Inheritance is the practice of receiving private property, titles, debts, entitlements, privileges, rights, and obligations upon the death of an individual. The rules of inheritance differ among societies and have changed over time. Offi ...
*Array
constructors
*Extended
rendezvous
See also
*
occam (programming language)
occam is a programming language
A programming language is a system of notation for writing computer programs.
Programming languages are described in terms of their Syntax (programming languages), syntax (form) and semantics (computer scien ...
*
Transputer
The transputer is a series of pioneering microprocessors from the 1980s, intended for parallel computing. To support this, each transputer had its own integrated memory and serial communication links to exchange data with other transputers. ...
*
KRoC
Kroc is a surname. Notable people with the name include:
* Janae Kroc (born 1972), bodybuilder and powerlifter
* Joan Kroc (1929–2003), American philanthropist
* Ray Kroc (1902–1984), American founder of McDonald's
See also
*Krock (disam ...
*
Transterpreter
References
External links
*
University of Kent Occam-pi project pageTock Occam compiler*
Concurrent programming languages
University of Kent
{{comp-sci-stub