• CafeOBJ

  • Referenced in 166 articles [sw06232]
  • theoretic iterative calculation of least fixpoints...
  • Aspic

  • Referenced in 23 articles [sw04954]
  • widening operator to enforce the convergence of fixpoint computations. While the approximation due to widening...
  • Dagger

  • Referenced in 15 articles [sw04953]
  • prove properties of programs by computing abstract fixpoints. All such analyses suffer from the possibility...
  • FPsolve

  • Referenced in 6 articles [sw10857]
  • FPsolve: a generic solver for fixpoint equations over semirings. We introduce FPsolve, an implementation ... generic algorithms for solving fixpoint equations over semirings. We first illustrate the interest of generic...
  • REDLIB

  • Referenced in 5 articles [sw21175]
  • postcondtion/precondition calculation, state-space representation normalizations, greatest fixpoint calculation, parametric safety analysis of linear hybrid ... systems, speed-up techniques for greatest fixpoint evaluation, and coverage analysis of dense-time statespaces...
  • Rfuzzy

  • Referenced in 7 articles [sw09052]
  • lattice). A least model semantics, a least fixpoint semantics and an operational semantics are introduced...
  • FixBag

  • Referenced in 4 articles [sw10096]
  • FixBag: A Fixpoint Calculator for Quantified Bag Constraints. Abstract interpretation techniques have played a major ... have developed a tool to compute symbolic fixpoints for quantified bag domain. This domain ... loop invariants and method pre/post conditions via fixpoint analysis of recursive bag constraints. To support...
  • Interproc

  • Referenced in 6 articles [sw09095]
  • APRON library and the use of the Fixpoint libraries. It is implemented in OCaml...
  • Fixpoint

  • Referenced in 2 articles [sw33274]
  • Fixpoint is an OCaml library implementing a generic fixpoint engine. The interface is parameterized ... abstract domain on which fixpoint computations are performed...
  • TCHR

  • Referenced in 4 articles [sw01345]
  • with constraint logic programming without worrying about fixpoint computation. Various applications, e.g. in the fields...
  • FIXPOINT

  • Referenced in 1 article [sw11410]
  • implementation and some applications of the FIXPOINT software minipackage. The main aim of this note ... potential applications of the software minipackage FIXPOINT, designed and implemented by the first author...
  • Ultimate Taipan

  • Referenced in 1 article [sw28629]
  • constructs path programs from counterexamples and computes fixpoints for those path programs using abstract interpretation ... fixpoints are strong enough to prove the path program to be correct, they are guaranteed...
  • HR-SQL

  • Referenced in 1 article [sw32283]
  • extended language is founded on a stratified fixpoint semantics based on logic programming techniques ... include results of the existence of such fixpoints. An algorithm that transforms a database containing...
  • MixLog

  • Referenced in 1 article [sw01565]
  • resolution and bottom-up execution compute the fixpoint of a common rewriting operator. We then...
  • PLINI

  • Referenced in 1 article [sw09902]
  • develop a syntax, model theoretic semantics, and fixpoint semantics for PLINI rules, and show...
  • Apron

  • Referenced in 67 articles [sw00045]
  • Apron: a library of numerical abstract domains for...
  • Coq

  • Referenced in 1784 articles [sw00161]
  • Coq is a formal proof management system. It...
  • CSDP

  • Referenced in 197 articles [sw00169]
  • CSDP, A C Library for Semidefinite Programming. This...
  • Dafny

  • Referenced in 64 articles [sw00183]
  • Dafny is an imperative object-based language with...