Section: Software

Others

Below we list some sofwtare that has been developed in Focus in previous years but that during 2011 has not substantially changed. Short descriptions of these items can be found in the Focus activity report for 2010.

• PiDuce (see http://www.cs.unibo.it/PiDuce/ ) is a prototype for experimenting Web services technologies, based on theories of process calculi and XML documents and schemas [3] .

• IntML is a functional programming language guaranteeing sublinear space bounds for all programs [57] .