scientific article; zbMATH DE number 3610766

From MaRDI portal
Publication:4174789

zbMath0393.68080MaRDI QIDQ4174789

Patrick Cousot, Radhia Cousot

Publication date: 1978


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



Related Items (57)

Improving the results of program analysis by abstract interpretation beyond the decreasing sequenceAbstract Domains for Automated Reasoning about List-Manipulating Programs with Infinite DataDonut Domains: Efficient Non-convex Domains for Abstract InterpretationAlgebraic program analysisModel Checking Procedural ProgramsThe role of linearity in sharing analysisWeakly-relational shapes for numeric abstractions: Improved algorithms and proofs of correctnessWhy does Astrée scale up?Termination of floating-point computationsThe octagon abstract domainDescending chains and narrowing on template abstract domainsAutomatically replacing indices into parallel arrays with pointers to recordsSound Bit-Precise Numerical DomainsSMT sampling via model-guided approximationControl-flow analysis of function calls and returns by abstract interpretationAbstract allocation as a unified approach to polyvariance in control-flow analysesFaster Algorithms for Weighted Recursive State MachinesIncremental Abstract InterpretationGenerating all polynomial invariants in simple loopsGeneralizing the Template Polyhedral DomainImproving Strategies via SMT SolvingPrecise Interprocedural Analysis in the Presence of Pointers to the StackCounterexample- and simulation-guided floating-point loop invariant synthesisUnbounded procedure summaries from bounded environmentsPrecise interprocedural dataflow analysis with applications to constant propagationApproximating Probabilistic Behaviors of Biological Systems Using Abstract InterpretationInference of ranking functions for proving temporal properties by abstract interpretationInterprocedural Shape Analysis for Effectively Cutpoint-Free ProgramsTreeKs: A Functor to Make Numerical Abstract Domains ScalableSweeping in Abstract InterpretationSummarized Dimensions RevisitedA Global Occurrence Counting Analysis for Brane CalculiA Scalable Segmented Decision Tree Abstract DomainGate splitting in LOTOS specifications using abstract interpretationCache behavior prediction by abstract interpretationWidening and narrowing operators for abstract interpretationEnforcing termination of interprocedural analysisDemand-driven interprocedural analysis for map-based abstract domainsAn Abstract Domain Extending Difference-Bound Matrices with Disequality ConstraintsNarrowing Operators on Template Abstract DomainsSymbolic Model Checking of Hybrid Systems Using Template PolyhedraProgram Analysis Using Weighted Pushdown SystemsPrecondition Inference from Intermittent Assertions and Application to Contracts on CollectionsStatic Analysis of Finite Precision ComputationsOptimal inverse projection of floating-point additionRelational Abstract Domain of Weighted HexagonsStatic Analysis by Abstract Interpretation: A Mathematical Programming ApproachSpeeding up the Constraint-Based Method in Difference LogicA relational shape abstract domainRegion Analysis for Race DetectionAbstract Interpretation from a Topological PerspectiveInterval Polyhedra: An Abstract Domain to Infer Interval Linear RelationshipsPolynomial Precise Interval Analysis RevisitedTemplate polyhedra and bilinear optimizationA new abstraction framework for affine transformersThe octagon abstract domain for continuous constraintsAbstract cofibered domains: Application to the alias analysis of untyped programs




This page was built for publication: