### Abstract

Original language | Undefined |
---|---|

Place of Publication | Amsterdam |

Publisher | Dept. of Computer Science, Mathematical Centre |

Number of pages | 37 |

Publication status | Published - 1980 |

### Publication series

Name | CWI report |
---|---|

Publisher | Stichting Mathematisch Centrum |

No. | IW 152/80 |

ISSN (Print) | 0376-4028 |

### Keywords

- HMI-SLT: Speech and Language Technology
- complexity of algebraic computations
- EWI-3732
- operational semantics
- implementations of data types
- complexity of implementations
- IR-66022
- Algebraic data types

### Cite this

*On the Operational Structure of Algebraic Programming Systems*. (CWI report; No. IW 152/80). Amsterdam: Dept. of Computer Science, Mathematical Centre.

}

*On the Operational Structure of Algebraic Programming Systems*. CWI report, no. IW 152/80, Dept. of Computer Science, Mathematical Centre, Amsterdam.

**On the Operational Structure of Algebraic Programming Systems.** / Asveld, P.R.J.; Tucker, J.V.

Research output: Book/Report › Report › Other research output

TY - BOOK

T1 - On the Operational Structure of Algebraic Programming Systems

AU - Asveld, P.R.J.

AU - Tucker, J.V.

PY - 1980

Y1 - 1980

N2 - An algebraic programming system is a language built from a fixed algebraic data abstraction and a selection of deterministic, and non-deterministic, assignment and control constructs. First, we give a detailed analysis of the operational structure of an algebraic data type, one which is designed to classify programming systems in terms of the complexity of their implementations. Secondly, we test our operational description by comparing the computations in deterministic and non-deterministic programming systems under certain space and time restrictions.

AB - An algebraic programming system is a language built from a fixed algebraic data abstraction and a selection of deterministic, and non-deterministic, assignment and control constructs. First, we give a detailed analysis of the operational structure of an algebraic data type, one which is designed to classify programming systems in terms of the complexity of their implementations. Secondly, we test our operational description by comparing the computations in deterministic and non-deterministic programming systems under certain space and time restrictions.

KW - HMI-SLT: Speech and Language Technology

KW - complexity of algebraic computations

KW - EWI-3732

KW - operational semantics

KW - implementations of data types

KW - complexity of implementations

KW - IR-66022

KW - Algebraic data types

M3 - Report

T3 - CWI report

BT - On the Operational Structure of Algebraic Programming Systems

PB - Dept. of Computer Science, Mathematical Centre

CY - Amsterdam

ER -