Programming in Alma-0, or Imperative and Declarative Programming Reconciled
Guardado en:
| Publicado en: | arXiv.org (Apr 5, 2000), p. n/a |
|---|---|
| Autor principal: | |
| Otros Autores: | |
| Publicado: |
Cornell University Library, arXiv.org
|
| Materias: | |
| Acceso en línea: | Citation/Abstract Full text outside of ProQuest |
| Etiquetas: |
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
MARC
| LEADER | 00000nab a2200000uu 4500 | ||
|---|---|---|---|
| 001 | 2092431879 | ||
| 003 | UK-CbPIL | ||
| 022 | |a 2331-8422 | ||
| 035 | |a 2092431879 | ||
| 045 | 0 | |b d20000405 | |
| 100 | 1 | |a Apt, Krzysztof R | |
| 245 | 1 | |a Programming in Alma-0, or Imperative and Declarative Programming Reconciled | |
| 260 | |b Cornell University Library, arXiv.org |c Apr 5, 2000 | ||
| 513 | |a Working Paper | ||
| 520 | 3 | |a In (Apt et al, TOPLAS 1998) we introduced the imperative programming language Alma-0 that supports declarative programming. In this paper we illustrate the hybrid programming style of Alma-0 by means of various examples that complement those presented in (Apt et al, TOPLAS 1998). The presented Alma-0 programs illustrate the versatility of the language and show that ``don't know'' nondeterminism can be naturally combined with assignment. | |
| 653 | |a Programming languages | ||
| 653 | |a Declarative programming | ||
| 653 | |a Imperative programming | ||
| 700 | 1 | |a Schaerf, Andrea | |
| 773 | 0 | |t arXiv.org |g (Apr 5, 2000), p. n/a | |
| 786 | 0 | |d ProQuest |t Engineering Database | |
| 856 | 4 | 1 | |3 Citation/Abstract |u https://www.proquest.com/docview/2092431879/abstract/embedded/7BTGNMKEMPT1V9Z2?source=fedsrch |
| 856 | 4 | 0 | |3 Full text outside of ProQuest |u http://arxiv.org/abs/cs/0004002 |