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

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

2000-04-05

arxiv.org/abs/cs/0004002v1

Frontiers of Combining Systems 2, Research Studies Press Ltd, D. M. Gabbay and M. de Rijke (editors), pages 1-16, 1999

Computer Science

Logic in Computer Science

With updated references with respect to the published version

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

Programming in Alma-0, or Imperative and Declarative Programming Reconciled does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Programming in Alma-0, or Imperative and Declarative Programming Reconciled, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Programming in Alma-0, or Imperative and Declarative Programming Reconciled will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-629753