An Abstract Machine for CLP(R)

Joxan Jaffar; Spiro Michaylov; Peter J. Stuckey; Roland H.C. Yap

doi:10.1145/143103.143127

An Abstract Machine for CLP(R)

Joxan Jaffar
, Spiro Michaylov
, Peter J. Stuckey
, Roland H.C. Yap

Research output: Contribution to journal › Article › Research › peer-review

23 Citations (Scopus)

Abstract

An abstract machine is described for the CLP1992 programming language. It is intended as a first step toward enabling CLP(R) programs to be executed with efficiency approaching that of conventional languages. The core Constraint Logic Arithmetic Machine (CLAM) extends the Warren Abstract Machine (WAM) for compiling Prolog with facilities for handling real arithmetic constraints. The full CLAM includes facilities for taking advantage of information obtained from global program analysis.

Original language	English
Pages (from-to)	128-139
Number of pages	12
Journal	ACM SIGPLAN Notices
Volume	27
Issue number	7
DOIs	https://doi.org/10.1145/143103.143127
Publication status	Published - 7 Jan 1992

Access to Document

10.1145/143103.143127

Cite this

@article{663a642a83cb408cb12cba71b391934c,

title = "An Abstract Machine for CLP(R)",

abstract = "An abstract machine is described for the CLP1992 programming language. It is intended as a first step toward enabling CLP(R) programs to be executed with efficiency approaching that of conventional languages. The core Constraint Logic Arithmetic Machine (CLAM) extends the Warren Abstract Machine (WAM) for compiling Prolog with facilities for handling real arithmetic constraints. The full CLAM includes facilities for taking advantage of information obtained from global program analysis.",

author = "Joxan Jaffar and Spiro Michaylov and Stuckey, \{Peter J.\} and Yap, \{Roland H.C.\}",

year = "1992",

month = jan,

day = "7",

doi = "10.1145/143103.143127",

language = "English",

volume = "27",

pages = "128--139",

journal = "ACM SIGPLAN Notices",

issn = "0362-1340",

publisher = "Association for Computing Machinery (ACM)",

number = "7",

}

TY - JOUR

T1 - An Abstract Machine for CLP(R)

AU - Jaffar, Joxan

AU - Michaylov, Spiro

AU - Stuckey, Peter J.

AU - Yap, Roland H.C.

PY - 1992/1/7

Y1 - 1992/1/7

N2 - An abstract machine is described for the CLP1992 programming language. It is intended as a first step toward enabling CLP(R) programs to be executed with efficiency approaching that of conventional languages. The core Constraint Logic Arithmetic Machine (CLAM) extends the Warren Abstract Machine (WAM) for compiling Prolog with facilities for handling real arithmetic constraints. The full CLAM includes facilities for taking advantage of information obtained from global program analysis.

AB - An abstract machine is described for the CLP1992 programming language. It is intended as a first step toward enabling CLP(R) programs to be executed with efficiency approaching that of conventional languages. The core Constraint Logic Arithmetic Machine (CLAM) extends the Warren Abstract Machine (WAM) for compiling Prolog with facilities for handling real arithmetic constraints. The full CLAM includes facilities for taking advantage of information obtained from global program analysis.

UR - https://www.scopus.com/pages/publications/0026993864

U2 - 10.1145/143103.143127

DO - 10.1145/143103.143127

M3 - Article

AN - SCOPUS:0026993864

SN - 0362-1340

VL - 27

SP - 128

EP - 139

JO - ACM SIGPLAN Notices

JF - ACM SIGPLAN Notices

IS - 7

ER -

An Abstract Machine for CLP(R)

Abstract

Access to Document

Other files and links

Cite this