
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, statespace representation normalizations, greatest fixpoint calculation, parametric safety analysis of linear hybrid ... systems, speedup techniques for greatest fixpoint evaluation, and coverage analysis of densetime 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...

HRSQL
 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 bottomup 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 objectbased language with...