[an error occurred while processing this directive]
[an error occurred while processing this directive]Citation: | Christoph Beierle and Egon Börger, "Refinement of a typed WAM extension by polymorphic order-sorted types", Formal Aspects of Computing, vol. 8(5), 1996, p. 539--564. |
---|---|
Summary: | An extension of the specification and correctness proof of PROTOS-L and the PROTOS Abstract Machine (PAM), refining the abstract type constraints used therein to the polymorphic order-sorted types of PROTOS-L. |
Subjects: | Compiler Correctness, Programming Languages, Refinement, Verification, WAM / Logic Programming |
Download: | PostScript, PDF, Compressed PostScript. |
Notes: | See also part 1 of this paper. |