View in EDS

A stable programming language

Saved in:
Bibliographic Details
Title: A stable programming language
Authors: Paolini, Luca1 paolini@di.unito.it
Source: Information & Computation. Mar2006, Vol. 204 Issue 3, p339-375. 37p.
Subjects: Programming languages, Extended ML (Computer program language), Electronic data processing, Artificial languages
Abstract: Abstract: It is well-known that stable models (as dI-domains, qualitative domains and coherence spaces) are not fully abstract for the language . 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 . In this paper, a paradigmatic programming language named is proposed, which extends the language 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 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. [Copyright &y& Elsevier]
Copyright of Information & Computation is the property of Academic Press Inc. and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)
Database: Engineering Source
FullText Text:
  Availability: 0
Header DbId: egs
DbLabel: Engineering Source
An: 19965329
AccessLevel: 6
PubType: Academic Journal
PubTypeId: academicJournal
PreciseRelevancyScore: 0
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: A stable programming language
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Paolini%2C+Luca%22">Paolini, Luca</searchLink><relatesTo>1</relatesTo><i> paolini@di.unito.it</i>
– Name: TitleSource
  Label: Source
  Group: Src
  Data: <searchLink fieldCode="JN" term="%22Information+%26+Computation%22">Information & Computation</searchLink>. Mar2006, Vol. 204 Issue 3, p339-375. 37p.
– Name: Subject
  Label: Subjects
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22Programming+languages%22">Programming languages</searchLink><br /><searchLink fieldCode="DE" term="%22Extended+ML+%28Computer+program+language%29%22">Extended ML (Computer program language)</searchLink><br /><searchLink fieldCode="DE" term="%22Electronic+data+processing%22">Electronic data processing</searchLink><br /><searchLink fieldCode="DE" term="%22Artificial+languages%22">Artificial languages</searchLink>
– Name: Abstract
  Label: Abstract
  Group: Ab
  Data: Abstract: It is well-known that stable models (as dI-domains, qualitative domains and coherence spaces) are not fully abstract for the language . 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 . In this paper, a paradigmatic programming language named is proposed, which extends the language 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 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. [Copyright &y& Elsevier]
– Name: AbstractSuppliedCopyright
  Label:
  Group: Ab
  Data: <i>Copyright of Information & Computation is the property of Academic Press Inc. and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract.</i> (Copyright applies to all Abstracts.)
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=egs&AN=19965329
RecordInfo BibRecord:
  BibEntity:
    Identifiers:
      – Type: doi
        Value: 10.1016/j.ic.2005.11.002
    Languages:
      – Code: eng
        Text: English
    PhysicalDescription:
      Pagination:
        PageCount: 37
        StartPage: 339
    Subjects:
      – SubjectFull: Programming languages
        Type: general
      – SubjectFull: Extended ML (Computer program language)
        Type: general
      – SubjectFull: Electronic data processing
        Type: general
      – SubjectFull: Artificial languages
        Type: general
    Titles:
      – TitleFull: A stable programming language
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Paolini, Luca
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 03
              Text: Mar2006
              Type: published
              Y: 2006
          Identifiers:
            – Type: issn-print
              Value: 08905401
          Numbering:
            – Type: volume
              Value: 204
            – Type: issue
              Value: 3
          Titles:
            – TitleFull: Information & Computation
              Type: main
ResultId 1