Tour
News
People
Projects
Events
Publications
alma
Programming in textsfAlma-0, or Imperative and Declarative Programming Reconciled
Krzysztof R. Apt
,
Andrea Schaerf
PDF
Cite
The textsfAlma Project, or How First-Order Logic Can Help Us in Imperative Programming
Krzysztof R. Apt
,
Andrea Schaerf
PDF
Cite
textsfAlma-0: An Imperative Language that Supports Declarative Programming
Krzysztof R. Apt
,
Jacob Brunekreef
,
Vincent Partington
,
Andrea Schaerf
PDF
Cite
Search and Imperative Programming
Krzysztof R. Apt
,
Andrea Schaerf
Cite
textsfAlma-0: An Imperative Language that Supports Declarative Programming
Krzysztof R. Apt
,
Jacob Brunekreef
,
Vincent Partington
,
Andrea Schaerf
Cite
Cite
×