Programming in Alma-0, or Imperative and Declarative Programming Reconciled
Apt, Krzysztof R. · Schaerf, Andrea
Logic in Computer Science
Artificial Intelligence
Programming Languages
D.3.2;F.3.2;F.3.3;I.2.8;I.5.5
الأصل · EN
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.
الترجمة العربية
لا توجد ترجمة عربية لهذا البحث بعد. كن أوّل من يطلبها: تستغرق ثوانيَ معدودة، وتُحفظ النتيجة لكل قارئ قادم.