-
-
Notifications
You must be signed in to change notification settings - Fork 85
/
piccola.scroll
14 lines (11 loc) · 944 Bytes
/
piccola.scroll
1
2
3
4
5
6
7
8
9
10
11
12
13
14
import ../code/conceptPage.scroll
id piccola
name piccola
appeared 2002
tags pl
website http://scg.unibe.ch/research/piccola/
spec https://scg.unibe.ch/archive/phd/acherman-phd.pdf
conceptDescription Piccola is a small, pure language for building applications from software components. Piccola is small in the sense that its syntax is tiny, and it is pure in the sense that it provides only compositional features — computation is performed entirely by components of the host programming language. The semantics of Piccola is defined in terms of a process calculus, an extension of Milner’s pi calculus in which values communicated are forms, rather than tuples. A "form" is essentially an extensible nested record which also serves as a namespace in which expressions may be evaluated. This simple mechanism is responsible for much of the expressive power of Piccola.
country Switzerland
originCommunity RUniversitat ̈at Bern
isbndb 0