Alma

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

Add the full text or supplementary notes for the publication here using Markdown formatting.

PDF Cite
The textsfAlma Project, or How First-Order Logic Can Help Us in Imperative Programming

Add the full text or supplementary notes for the publication here using Markdown formatting.

PDF Cite
textsfAlma-0: An Imperative Language that Supports Declarative Programming

Add the full text or supplementary notes for the publication here using Markdown formatting.

PDF Cite
Search and Imperative Programming

Add the full text or supplementary notes for the publication here using Markdown formatting.

Cite
textsfAlma-0: An Imperative Language that Supports Declarative Programming

Add the full text or supplementary notes for the publication here using Markdown formatting.

Cite