Stem widen$ (all stems)

27 papers:

VMCAI-2014-HardekopfWCK #control flow

Widening for Control-Flow (BH, BW, BRC, VK), pp. 472–491.

PLDI-2013-ApinisSV #equation #how

How to combine widening and narrowing for non-monotonic systems of equations (KA, HS, VV), pp. 377–386.

SAS-2013-AmatoS

Localizing Widening and Narrowing (GA, FS), pp. 25–42.

SAS-2011-McMillan

Widening and Interpolation (KLM), p. 1.

CAV-2009-VerdoolaegeJB #equivalence #source code #using

Equivalence Checking of Static Affine Programs Using Widening to Handle Recurrences (SV, GJ, MB), pp. 599–613.

SEFM-2008-Cortesi #abstract interpretation

Widening Operators for Abstract Interpretation (AC), pp. 31–40.

DAC-2007-RizzoM #concurrent

Concurrent Wire Spreading, Widening, and Filling (OR, HM), pp. 350–353.

IFL-2007-NaylorR #graph #reduction #using

The Reduceron: Widening the von Neumann Bottleneck for Graph Reduction Using an FPGA (MN, CR), pp. 129–146.

TACAS-2006-KettleKS

Widening ROBDDs with Prime Implicants (NK, AK, TS), pp. 105–119.

SAS-2006-GonnordH #analysis #linear

Combining Widening and Acceleration in Linear Relation Analysis (LG, NH), pp. 144–160.

CAV-2006-GopanR #lookahead

Lookahead Widening (DG, TWR), pp. 452–466.

ITiCSE-2005-Barker #experience #question #student

When do group projects widen the student experience gap? (LJB), pp. 276–280.

SAS-2005-BagnaraHMZ #abstraction

Widening Operators for Weakly-Relational Numeric Abstractions (RB, PMH, EM, EZ), pp. 3–18.

POPL-2005-GrumbergLST #approximate #multi

Proof-guided underapproximation-widening for multi-process systems (OG, FL, OS, MT), pp. 122–131.

TACAS-2004-SuW #analysis #constraints

A Class of Polynomially Solvable Range Constraints for Interval Analysis without Widenings and Narrowings (ZS, DW), pp. 280–295.

SAC-PL-J-2004-Jorgensen #alias #component #independence #integration #multi

Integration of Independently Developed Components through Aliased Multi-Object Type Widening (BNJ), pp. 55–76.

CC-2004-RedwineR #integer

Widening Integer Arithmetic (KR, NR), pp. 232–249.

CAV-2004-BartzisB #automaton

Widening Arithmetic Automata (CB, TB), pp. 321–333.

VMCAI-2004-BagnaraHZ #set

Widening Operators for Powerset Domains (RB, PMH, EZ), pp. 135–148.

ITiCSE-2003-BarkerG03a #experience #student #why

Why project courses sometimes widen the experience gap among students (LJB, KGD), p. 258.

SAS-2003-BagnaraHRZ #precise

Precise Widening Operators for Convex Polyhedra (RB, PMH, ER, EZ), pp. 337–354.

SPLC-2002-OmmeringB #composition #product line

Widening the Scope of Software Product Lines — From Variation to Composition (RCvO, JB), pp. 328–347.

PPDP-1999-ZaffanellaBH

Widening Sharing (EZ, RB, PMH), pp. 414–432.

WSA-1993-Monsuez #polymorphism

Polymorphic Types and Widening Operators (BM), pp. 267–281.

FPCA-1993-CattrallR #functional #implementation #programming #relational #representation

Widening the Representation Bottleneck: A Functional Implementation of Relational Programming (DC, CR), pp. 191–200.

PLILP-1992-CousotC #abstract interpretation

Comparing the Galois Connection and Widening/Narrowing Approaches to Abstract Interpretation (PC, RC), pp. 269–295.

WSA-1991-CousotC91a #abstract interpretation #comparison

Comparison of the Galois Connection and Widening/Narrowing Approaches to Abstract Interpretation (PC, RC), pp. 107–110.