Skip to main content

7 Result(s)

within C. Palamidessi Remove this filter

and

  1. No Access

    Chapter and Conference Paper

    Declarative Diagnosis of Temporal Concurrent Constraint Programs

    We present a framework for the declarative diagnosis of non-deterministic timed concurrent constraint programs. We present a denotational semantics based on a (continuous) immediate consequence operator, ...

    M. Falaschi, C. Olarte, C. Palamidessi, F. Valencia in Logic Programming (2007)

  2. No Access

    Article

    Weak relative pseudo-complements of closure operators

    We define the notion of weak relative pseudo-complement on meet semi-lattices, and we show that it is strictly weaker than relative pseudo-complementation, but stronger than pseudo-complementation. Our main re...

    R. Giacobazzi, C. Palamidessi, F. Ranzato in algebra universalis (1996)

  3. No Access

    Chapter and Conference Paper

    Proving correctness of Constraint Logic Programs with dynamic scheduling

    A general framework based on Hoare logic is introduced for specifying and reasoning about Constraint Logic Programs with dynamic scheduling. The framework consists of a mixed formalism of programs in a ccp-lik...

    F. S. de Boer, M. Gabbrielli, C. Palamidessi in Static Analysis (1996)

  4. No Access

    Chapter and Conference Paper

    On blocks: locality and asynchronous communication

    A general construct for locality in languages based on asynchronous communication is introduced which allows a uniform semantic description of such apparently diverse notions as the introduction of local varia...

    F. S. de Boer, J. N. Kok, C. Palamidessi… in Semantics: Foundations and Applications (1993)

  5. No Access

    Chapter and Conference Paper

    The failure of failures in a paradigm for asynchronous communication

    We develop a general framework for a variety of concurrent languages all based on asynchronous communication, like data flow, concurrent logic, concurrent constraint languages and CSP with asynchronous channel...

    F. S. de Boer, J. N. Kok, C. Palamidessi, J. J. M. M. Rutten in CONCUR '91 (1991)

  6. No Access

    Chapter and Conference Paper

    From Failure to Success: Comparing a Denotational and a Declarative Semantics for Horn Clause Logic

    The main purpose of the paper is to relate different models for Horn Clause Logic: operational, denotational, declarative. We study their relationship by contrasting models based on interleaving, on the one ha...

    F. S. de Boer, J. N. Kok, C. Palamidessi, J. J. M. M. Rutten in Semantics for Concurrency (1990)

  7. No Access

    Chapter and Conference Paper

    A two-level approach to logic plus functional programming integration

    M. Bellia, P. G. Bosco, E. Giovannetti… in PARLE Parallel Architectures and Languages… (1987)