Obálka

Programming in Alma-0, or Imperative and Declarative Programming Reconciled

Uloženo v:
Vydáno v:arXiv.org (Apr 5, 2000), p. n/a
Hlavní autor: Apt, Krzysztof R
Další autoři: Schaerf, Andrea
Vydáno:
Cornell University Library, arXiv.org
Témata:
Programming languages
Declarative programming
Imperative programming
On-line přístup:Citation/Abstract
Full text outside of ProQuest
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Abstrakt: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.
ISSN:2331-8422
Zdroj:Engineering Database