En informática , occam-π (o occam-pi ) es el nombre de una variante del lenguaje de programación occam desarrollado por el equipo Kent Retargetable occam Compiler ( KRoC ) de la Universidad de Kent . [1] El nombre refleja la introducción de elementos de π-calculus (pi-calculus) en occam, especialmente conceptos que involucran agentes móviles (procesos) y datos. El idioma contiene varias extensiones de occam 2.1, que incluyen:
- Protocolos anidados
- Creación de procesos en tiempo de ejecución
- Canales, datos y procesos móviles
- Recursividad
- Herencia de protocolo
- Constructores de matrices
- Encuentro extendido
Paradigma | Imperativo , procedimental , concurrente |
---|---|
Diseñada por | Fred Barnes, Peter Welch |
Desarrolladores | occam para todos, Universidad de Kent |
Plataforma | IA-32 , Arduino |
Influenciado por | |
occam |
Ver también
Referencias
- ^ Barnes, Fred; Welch, Peter (14 de enero de 2006). "occam-pi: mezcla de lo mejor de CSP y pi-cálculo" . Consultado el 24 de noviembre de 2006 .