Alma-0: An Imperative Language that Supports Declarative Programming

Alma-0: An Imperative Language that Supports Declarative Programming (1998)

Cached

Download Links

by Krzysztof R. Apt , Jacob Brunekreef , Vincent Partington , Andrea Schaerf

Citations:

49 - 10 self

Versions

Version History

Metadata Version 2

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	Alma-0: An Imperative Language that Supports Declarative Programming	user correction - Legacy Corrections
AUTHOR NAME	Krzysztof R. Apt	user correction - Legacy Corrections
AUTHOR NAME	Jacob Brunekreef	user correction - Legacy Corrections
AUTHOR AFFIL	University of Amsterdam; and	user correction - Legacy Corrections
AUTHOR NAME	Vincent Partington	user correction - Legacy Corrections
AUTHOR AFFIL	University of Amsterdam; and	user correction - Legacy Corrections
AUTHOR NAME	Andrea Schaerf	user correction - Legacy Corrections
AUTHOR AFFIL	; Universit`a di Roma "La Sapienza"	user correction - Legacy Corrections
AUTHOR ADDR	; Authors ' addresses: K. R. Apt, CWI, P.O. Box 94079, 1090 GB Amsterdam, The Netherlands;	user correction - Legacy Corrections
ABSTRACT	Architecture The Alma Abstract Architecture (AAA) is the virtual architecture used during the intermediate code generation phase of the Alma-0 compiler. The AAA combines the features of the abstract machines for imperative languages and for logic programming languages. The compiler compiles the Alma-0 programs into AAA programs. In a second phase the AAA instructions are translated into C statements. As the Alma-0 language itself, the AAA aims to combine the best of both worlds; elements were taken from virtual machines used to compile imperative languages (in particular the RISC architecture described in Wirth [1996, pp. 55--59], and from the WAM machine used to compile a logical language (see Ait-Kaci [1991]). Still, the AAA resembles most the virtual machines used in the compilation of imperative languages. The additions made to provide for the extensions of the Alma-0 language are ---the failure handling instructions ONFAIL, FAIL, 40 \Delta Krzysztof R. Apt et al ---the log ...	user correction - Legacy Corrections
YEAR	1998	user correction - Legacy Corrections
CITATIONS	41 found	ParsCit 1.0