hybrid languages

A General Local Search Solver for FlatZinc
PDF Cite
Programming in textsfAlma-0, or Imperative and Declarative Programming Reconciled
PDF Cite
The textsfAlma Project, or How First-Order Logic Can Help Us in Imperative Programming
PDF Cite
textsfAlma-0: An Imperative Language that Supports Declarative Programming
PDF Cite
Search and Imperative Programming
Cite
textsfAlma-0: An Imperative Language that Supports Declarative Programming
Cite