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

Authors
Publication date 1999
Host editors
  • D.M. Gabbay
  • M. de Rijke
Book title Frontiers of Combining Systems 2
Pages (from-to) 1-16
Publisher Research Studies Press Ltd
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type Chapter
Permalink to this page
Back