scientific article; zbMATH DE number 1251178

zbMath0918.68009MaRDI QIDQ4230923

Christian Fecht, Helmut Seidl

Publication date: 17 August 1999

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

deductive data basessemi-naive fixpoint iterationworklist-based solvers

Mathematics Subject Classification ID

Theory of programming languages (68N15) General topics in the theory of software (68N01)

Related Items (5)

Time Stamps for Fixed-Point Approximation ⋮ Formalisation and implementation of an algorithm for bytecode verification of \(\@\)NonNull types ⋮ Upper Adjoints for Fast Inter-procedural Variable Equalities ⋮ The Complexity of Andersen’s Analysis in Practice ⋮ A Scalable Inclusion Constraint Solver Using Unification

Uses Software

• PAG
• PVS
• GENA

This page was built for publication: