Concurrent constraint programming: towards probabilistic abstract interpretation

No abstract is available for this paper.

• Publication year

  2000

• Venue

  ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming

• Publication date

  2000-09-01

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1145/351268.351284
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Constructive design of a hierarchy of semantics of a transition system by abstract interpretation

  2002cited by this paper
• On the precision of abstract interpretations

  2000cited by this paper
• Making abstract interpretations complete

  2000cited by this paper
• Approximating Continuous Markov Processes

  2000cited by this paper
• Quantitative Observables and Averages in Probabilistic Constraint Programming

  1999cited by this paper
• Abstracting Soft Constraint

  1999cited by this paper
• Probabilistic Concurrent Constraint Programming: Towards a Fully Abstract Model

  1998influential reference
• An operational semantics for probabilistic concurrent constraint programming

  1998cited by this paper
• Model checking for a probabilistic branching time logic with fairness

  1998cited by this paper
• The troublesome probabilistic powerdomain

  1997cited by this paper
• Semiring-based constraint satisfaction and optimization

  1997cited by this paper
• Probabilistic predicate transformers

  1996cited by this paper
• Nondeterminism and Infinite Computations in Constraint Programming

  1995cited by this paper
• Problems and theorems in linear algebra

  1994cited by this paper
• Compositional analysis for concurrent constraint programming

  1993cited by this paper
• Inductive definitions, semantics and abstract interpretations

  1992cited by this paper
• Infinite Behaviour and Fairness in Concurrent Constraint Programming

  1992cited by this paper
• Abstract Interpretation and Application to Logic Programs

  1992cited by this paper
• Angelic Non-Determinism in Concurrent Constraint Programming

  1991cited by this paper
• Probabilistic non-determinism

  1990cited by this paper
• A probabilistic powerdomain of evaluations

  1989cited by this paper
• Self-Organization and Associative Memory

  1988cited by this paper
• CPO'S of Measures for Nondeterminism

  1980cited by this paper
• Systematic design of program analysis frameworks

  1979cited by this paper
• Semantics of probabilistic programs

  1979cited by this paper
• Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints

  1977cited by this paper
• Operator theory of the pseudo-inverse

  1974cited by this paper

• Inference Plans for Hybrid Particle Filtering

  2024cites this paper
• Quantitative Aspects of Programming Languages and Systems over the past $2^4$ years and beyond

  2020cites this paper
• Quantitative static analysis of communication protocols using abstract Markov chains

  2017cites this paper
• Probabilistic Abstract Intepretation: From Trace Semantics to DTMC’s via Linear Regression

  2015influential citation
• Probabilistic Abstract Interpretation: From Trace Semantics to DTMC's and Linear Regression

  2015cites this paper
• Logical reasoning for approximate and unreliable computation

  2015cites this paper
• Program Synthesis and Linear Operator Semantics

  2014cites this paper
• Models and emerging trends of concurrent constraint programming

  2013cites this paper
• Foundational and Practical Aspects of Resource Analysis

  2013influential citation
• Semantics of Probabilistic Programs: A Weak Limit Approach

  2013cites this paper
• Probabilistic Analysis of Programs: A Weak Limit Approach

  2013cites this paper
• Verifying quantitative reliability for programs that execute on unreliable hardware

  2013cites this paper
• A short note on Simulation and Abstraction

  2013cites this paper
• Probabilistic data flow analysis: a linear equational approach

  2013cites this paper
• Probabilistic model checking of biological systems with uncertain kinetic rates

  2012cites this paper
• Probabilistic Abstract Interpretation

  2012cites this paper
• Dioïdes et idéaux de polynômes en analyse statique. (Static analysis with dioids and polynomial ideals)

  2012cites this paper
• Dio des et id eaux de polyn^ omes en analyse statique

  2012cites this paper
• Abstract Probabilistic Semantics for the Analysis of Biological Systems Models PhD Program in Computer Science and Engineering XXIII Cycle

  2011cites this paper
• Probabilistically Accurate Program Transformations

  2011cites this paper
• Best Probabilistic Transformers

  2010cites this paper
• Probabilistic Semantics and Program Analysis

  2010cites this paper
• Linear-Invariant Generation for Probabilistic Programs: - Automated Support for Proof-Based Methods

  2010cites this paper
• Concurrent and Reactive Constraint Programming

  2010cites this paper
• Program Analysis Probably Counts

  2010influential citation
• Automated quantitative software verification

  2010cites this paper
• Injecting Abstract Interpretations into Linear Cost Models

  2010cites this paper
• Abstraction Refinement for Probabilistic Software

  2008cites this paper
• Least upper bounds for probability measures and their applications to abstractions

  2008cites this paper
• Semantic Abstraction and Quantum Computation

  2008cites this paper
• Long-run cost analysis by approximation of linear operators over dioids

  2008influential citation
• Relational Analysis and Precision via Probabilistic Abstract Interpretation

  2008influential citation
• Induction for positive almost sure termination

  2007cites this paper
• On Probabilistic Techniques for Data Flow Analysis

  2007influential citation
• A Systematic Approach to Probabilistic Pointer Analysis

  2007cites this paper
• Boosting Probabilistic Choice Operators

  2007cites this paper
• Quantitative Static Analysis Over Semirings: Analysing Cache Behaviour for Java Card

  2006influential citation
• Abstract Interpretation for Worst and Average Case Analysis

  2006influential citation
• Operator Algebras and the Operational Semantics of Probabilistic Languages

  2006cites this paper
• Probabilistic /lambda-calculus and Quantitative Program Analysis

  2005cites this paper
• Quantitative static analysis of distributed systems

  2005cites this paper
• Measuring the confinement of probabilistic systems

  2005cites this paper
• Towards Probabilistic Program Slicing

  2005cites this paper
• λ-calculus and Quantitative Program Analysis

  2005cites this paper
• Probabilistic Program Analysis for Parallelizing Compilers

  2004cites this paper
• Probabilistic Linda-Based Coordination Languages

  2004cites this paper
• Probabilistic λ-calculus and Quantitative Program Analysis

  2004cites this paper
• Measuring Confinement via Weak Bisimulation ( Extended Abstract )

  2004cites this paper
• λ-calculus and Quantitative Program Analysis ( Extended Abstract )

  2003cites this paper
• Quantitative Relations and Approximate Process Equivalences

  2003cites this paper
• Possibilistic and Probabilistic Abstraction-Based Model Checking

  2002cites this paper
• Analysing Approximate Confinement under Uniform Attacks

  2002cites this paper
• Probabilistic Abstract Interpretation and Statistical Testing

  2002cites this paper
• Probabilistic Rewrite Strategies. Applications to ELAN

  2002cites this paper
• Probabilistic rewrite strategies . Applications to ELAN ( Regular Research Paper )

  2002cites this paper
• Process Algebra and Probabilistic Methods: Performance Modeling and Verification

  2002cites this paper
• Backwards Abstract Interpretation of Probabilistic Programs

  2001cites this paper
• Probabilistic confinement in a declarative framework

  2001cites this paper
• Analyse de programmes probabilistes par interprétation abstraite

  2001cites this paper
• Analysis of probabilistic programs by abstract interpretation

  2001cites this paper
• Measuring the Precision of Abstract Interpretations

  2000cites this paper
• Long-run Cost Analysis by Approximation of Linear Operators over Dioids N° 6338 — Version 2 Long-run Cost Analysis by Approximation of Linear Operators over Dioids

  year unknowncites this paper