Content area

Abstract

Translate

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.

Details

1009240
Subject
Programming languages;
Declarative programming;
Imperative programming
Identifier / keyword
Logic in Computer Science; Artificial Intelligence; Programming Languages
URL
http://arxiv.org/abs/cs/0004002
Title
Programming in Alma-0, or Imperative and Declarative Programming Reconciled
Author
Apt, Krzysztof R; Schaerf, Andrea
Publication title
arXiv.org; Ithaca
Publication year
2000
Publication date
Apr 5, 2000
Section
Computer Science
Publisher
Cornell University Library, arXiv.org
Source
arXiv.org
Place of publication
Ithaca
Country of publication
United States
University/institution
Cornell University Library arXiv.org
Publication subject
Biology, Statistics, Physics, Mathematics, Engineering--Electrical Engineering, Computers--Computer Engineering, Business And Economics--Banking And Finance
e-ISSN
2331-8422
Source type
Working Paper
Language of publication
English
Document type
Working Paper
Publication history
 
 
Online publication date
2007-05-23
Milestone dates
2000-04-05 (Submission v1)
Publication history
 
 
   First posting date
23 May 2007
ProQuest document ID
2092431879
Document URL
https://www.proquest.com/working-papers/programming-alma-0-imperative-declarative/docview/2092431879/se-2?accountid=208611
Full text outside of ProQuest
http://arxiv.org/abs/cs/0004002
Copyright
© 2000. This work is published under https://arxiv.org/licenses/assumed-1991-2003/license.html (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License.
Last updated
2019-05-23
Database
ProQuest One Academic