The Alma Project, or How First-Order Logic Can Help Us in Imperative Programming

Guardat en:

Dades bibliogràfiques
Publicat a:	arXiv.org (Jul 19, 1999), p. n/a
Autor principal:	Apt, Krzysztof R
Altres autors:	Schaerf, Andrea
Publicat:	Cornell University Library, arXiv.org
Matèries:	Logic programming Programming languages Modula-2 Declarative programming Imperative programming
Accés en línia:	Citation/Abstract Full text outside of ProQuest
Etiquetes:	Afegir etiqueta Sense etiquetes, Sigues el primer a etiquetar aquest registre!