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

Simple item page
dc.creatorApt, Krzysztof R.
dc.creatorSchaerf, Andrea
dc.date2000-04-05
dc.date.accessioned2026-07-25T16:27:01Z
dc.descriptionIn (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.
dc.descriptionWith updated references with respect to the published version
dc.identifierhttps://arxiv.org/abs/cs/0004002
dc.identifierhttp://arxiv.org/abs/cs/0004002
dc.identifierFrontiers of Combining Systems 2, Research Studies Press Ltd, D. M. Gabbay and M. de Rijke (editors), pages 1-16, 1999
dc.identifier.urihttps://dspace.dare.co.zw/handle/123456789/41442
dc.subjectLogic in Computer Science
dc.subjectArtificial Intelligence
dc.subjectProgramming Languages
dc.subjectD.3.2;F.3.2;F.3.3;I.2.8;I.5.5
dc.titleProgramming in Alma-0, or Imperative and Declarative Programming Reconciled
dc.typetext

Files

Collections

arXiv