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

Krzysztof R. Apt, Andrea Schaerf
January 2000
PDF Cite
Type
Conference paper
Publication
Proceedings of Frontiers of Combining Systems 2
alma hybrid languages