BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
narrow (5)
oper (5)
abstract (4)
interpret (3)
relat (3)

Stem widen$ (all stems)

27 papers:

VMCAIVMCAI-2014-HardekopfWCK #control flow
Widening for Control-Flow (BH, BW, BRC, VK), pp. 472–491.
PLDIPLDI-2013-ApinisSV #equation #how
How to combine widening and narrowing for non-monotonic systems of equations (KA, HS, VV), pp. 377–386.
Localizing Widening and Narrowing (GA, FS), pp. 25–42.
Widening and Interpolation (KLM), p. 1.
CAVCAV-2009-VerdoolaegeJB #equivalence #source code #using
Equivalence Checking of Static Affine Programs Using Widening to Handle Recurrences (SV, GJ, MB), pp. 599–613.
SEFMSEFM-2008-Cortesi #abstract interpretation
Widening Operators for Abstract Interpretation (AC), pp. 31–40.
DACDAC-2007-RizzoM #concurrent
Concurrent Wire Spreading, Widening, and Filling (OR, HM), pp. 350–353.
IFLIFL-2007-NaylorR #graph #reduction #using
The Reduceron: Widening the von Neumann Bottleneck for Graph Reduction Using an FPGA (MN, CR), pp. 129–146.
Widening ROBDDs with Prime Implicants (NK, AK, TS), pp. 105–119.
SASSAS-2006-GonnordH #analysis #linear
Combining Widening and Acceleration in Linear Relation Analysis (LG, NH), pp. 144–160.
CAVCAV-2006-GopanR #lookahead
Lookahead Widening (DG, TWR), pp. 452–466.
ITiCSEITiCSE-2005-Barker #experience #question #student
When do group projects widen the student experience gap? (LJB), pp. 276–280.
SASSAS-2005-BagnaraHMZ #abstraction
Widening Operators for Weakly-Relational Numeric Abstractions (RB, PMH, EM, EZ), pp. 3–18.
POPLPOPL-2005-GrumbergLST #approximate #multi
Proof-guided underapproximation-widening for multi-process systems (OG, FL, OS, MT), pp. 122–131.
TACASTACAS-2004-SuW #analysis #constraints
A Class of Polynomially Solvable Range Constraints for Interval Analysis without Widenings and Narrowings (ZS, DW), pp. 280–295.
SACSAC-PL-J-2004-Jorgensen #alias #component #independence #integration #multi
Integration of Independently Developed Components through Aliased Multi-Object Type Widening (BNJ), pp. 55–76.
CCCC-2004-RedwineR #integer
Widening Integer Arithmetic (KR, NR), pp. 232–249.
CAVCAV-2004-BartzisB #automaton
Widening Arithmetic Automata (CB, TB), pp. 321–333.
VMCAIVMCAI-2004-BagnaraHZ #set
Widening Operators for Powerset Domains (RB, PMH, EZ), pp. 135–148.
ITiCSEITiCSE-2003-BarkerG03a #experience #student #why
Why project courses sometimes widen the experience gap among students (LJB, KGD), p. 258.
SASSAS-2003-BagnaraHRZ #precise
Precise Widening Operators for Convex Polyhedra (RB, PMH, ER, EZ), pp. 337–354.
SPLCSPLC-2002-OmmeringB #composition #product line
Widening the Scope of Software Product Lines — From Variation to Composition (RCvO, JB), pp. 328–347.
Widening Sharing (EZ, RB, PMH), pp. 414–432.
SASWSA-1993-Monsuez #polymorphism
Polymorphic Types and Widening Operators (BM), pp. 267–281.
FPCAFPCA-1993-CattrallR #functional #implementation #programming #relational #representation
Widening the Representation Bottleneck: A Functional Implementation of Relational Programming (DC, CR), pp. 191–200.
PPDPPLILP-1992-CousotC #abstract interpretation
Comparing the Galois Connection and Widening/Narrowing Approaches to Abstract Interpretation (PC, RC), pp. 269–295.
SASWSA-1991-CousotC91a #abstract interpretation #comparison
Comparison of the Galois Connection and Widening/Narrowing Approaches to Abstract Interpretation (PC, RC), pp. 107–110.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.