[an error occurred while processing this directive]
[an error occurred while processing this directive]Citation: | Egon Börger and R. Salamone, "CLAM specification for provably correct compilation of CLP(R) programs." In E. Börger, ed., Specification and Validation Methods, Oxford University Press, 1995, 97--130. |
---|---|
Summary: | An extension of the ASM for the WAM to CLP(R) and the constraint logical arithmetical machine (CLAM) developed at IBM Yorktown Heights. |
Subjects: | Compiler Correctness, Programming Languages, Refinement, WAM / Logic Programming |
Download: | PostScript, PDF, Compressed PostScript |
Notes: |