• DocumentCode
    1822757
  • Title

    Compositional analysis for concurrent constraint programming

  • Author

    Falaschi, Moreno ; Gabbrielli, Maurizio ; Marriott, Kim ; Palamidessi, Catuscia

  • Author_Institution
    Dipartimento di Elettronica e Inf., Padova Univ., Italy
  • fYear
    1993
  • fDate
    19-23 Jun 1993
  • Firstpage
    210
  • Lastpage
    221
  • Abstract
    A framework for the analysis of concurrent constraint programming (CCP) is proposed. The approach is based on simple denotational semantics that approximate the usual semantics in the sense that they give a superset of the input-output relation of a CCP program. Analyses based on these semantics can be easily and efficiently implemented using standard techniques from the analysis of logic programs
  • Keywords
    constraint handling; logic programming; parallel programming; programming theory; CCP program; compositional analysis; concurrent constraint programming; input-output relation; logic program analysis; simple denotational semantics; Application software; Australia; Computational modeling; Computer science; Concurrent computing; Data analysis; Information analysis; Logic programming; Program processors; Programming profession;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Logic in Computer Science, 1993. LICS '93., Proceedings of Eighth Annual IEEE Symposium on
  • Conference_Location
    Montreal, Que.
  • Print_ISBN
    0-8186-3140-6
  • Type

    conf

  • DOI
    10.1109/LICS.1993.287586
  • Filename
    287586
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1822757