In
computer science
Computer science is the study of computation, automation, and information. Computer science spans theoretical disciplines (such as algorithms, theory of computation, information theory, and automation) to Applied science, practical discipli ...
, 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
Raymond Albert Kroc (October 5, 1902 – January 14, 1984) was a ...
) team at the
University of Kent
, motto_lang =
, mottoeng = Literal translation: 'Whom to serve is to reign'(Book of Common Prayer translation: 'whose service is perfect freedom')Graham Martin, ''From Vision to Reality: the Making of the University of Kent at Canterbury'' ...
.
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 way it is able to describe concurrent computations whose networ ...
(pi-calculus) into occam, especially concepts involving
mobile agent In computer science, a mobile agent is a composition of computer software and data that is able to migrate (move) from one computer to another autonomously and continue its execution on the destination computer. In reality, the mobile agent is the c ...
s (processes) and data. The language contains several extensions to occam 2.1, including:
*
Nested
''Nested'' is the seventh studio album by Bronx-born singer, songwriter and pianist Laura Nyro, released in 1978 on Columbia Records.
Following on from her extensive tour to promote 1976's ''Smile'', which resulted in the 1977 live album ''Season ...
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 (adjective: ''recursive'') occurs when a thing is defined in terms of itself or of its type. Recursion is used in a variety of disciplines ranging from linguistics to logic. The most common application of recursion is in mathematics ...
*Protocol
inheritance
Inheritance is the practice of receiving private property, Title (property), titles, debts, entitlements, Privilege (law), privileges, rights, and Law of obligations, obligations upon the death of an individual. The rules of inheritance differ ...
*Array
constructors
*Extended
rendezvous
See also
*
occam (programming language)
occam is a programming language which is concurrent and builds on the communicating sequential processes (CSP) process algebra, Inmos document 72 occ 45 03 and shares many of its features. It is named after philosopher William of Ockham after wh ...
*
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. T ...
*
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
Raymond Albert Kroc (October 5, 1902 – January 14, 1984) was a ...
*
Transterpreter
The transterpreter is computer software, an interpreter for the transputer, is a virtual machine for the programming language occam-Ï€ (occam-pi), and a portable runtime for the KRoC compiler. It is designed for education and research in concurr ...
References
External links
*
University of Kent Occam-pi project pageTock Occam compilerParallel programming users group on Occam-pi
Concurrent programming languages
University of Kent
{{comp-sci-stub