A stable programming language

https://doi.org/10.1016/j.ic.2005.11.002Get rights and content
Under an Elsevier user license
open archive

Abstract

It is well-known that stable models (as dI-domains, qualitative domains and coherence spaces) are not fully abstract for the language PCF. This fact is related to the existence of stable parallel functions and of stable functions that are not monotone with respect to the extensional order, which cannot be defined by programs of PCF. In this paper, a paradigmatic programming language named StPCF is proposed, which extends the language PCF with two additional operators. The operational description of the extended language is presented in an effective way, although the evaluation of one of the new operators cannot be formalized in a PCF-like rewrite system. Since StPCF can define all finite cliques of coherence spaces the above gap with stable models is filled, consequently stable models are fully abstract for the extended language.

Cited by (0)

1

Paper partially supported by IST-2001-33477 DART Project, MIUR-Cofin’02 PROTOCOLLO Project, MIUR-Cofin’04 FOLLIA Project.