Stem wildcard$ (all stems)

19 papers:

OOPSLA-2014-AltidorS #java #refactoring

Refactoring Java generics by inferring wildcards, in practice (JA, YS), pp. 271–290.

ECOOP-2012-AltidorRS #java

Java Wildcards Meet Definition-Site Variance (JA, CR, YS), pp. 509–534.

PLDI-2011-AltidorHS

Taming the wildcards: combining definition- and use-site variance (JA, SSH, YS), pp. 602–613.

PLDI-2011-TateLL #java #type system

Taming wildcards in Java’s type system (RT, AL, SL), pp. 614–627.

CIAA-J-2008-DixonES09 #analysis

Analysis of Bit-Split Languages for Packet Scanning and Experiments with Wildcard Matching (RD, ÖE, TS), pp. 597–612.

CIKM-2008-StecherNN #integration #lightweight

Wildcards for lightweight information integration in virtual desktops (RS, CN, WN), pp. 797–806.

ECOOP-2008-CameronDE #java

A Model for Java with Wildcards (NRC, SD, EE), pp. 2–26.

CIKM-2007-LadY #feedback #using

Generalizing from relevance feedback using named entity wildcards (AL, YY), pp. 721–730.

SAC-2007-CimadamoreV #approach #java #using

Reifying wildcards in Java using the EGO approach (MC, MV), pp. 1315–1322.

SAC-2005-RimassaV #comprehension #java #parametricity #strict

Understanding access restriction of variant parametric types and Java wildcards (GR, MV), pp. 1390–1397.

SAC-OOPS-J-2005-ViroliR #java #on the #strict

On Access Restriction with Java Wildcards (MV, GR), pp. 117–139.

PPoPP-2005-SiegelA #modelling #source code #verification

Modeling wildcard-free MPI programs for verification (SFS, GSA), pp. 95–106.

VMCAI-2005-Siegel #performance #source code #verification

Efficient Verification of Halting Properties for MPI Programs with Wildcard Receives (SFS), pp. 413–429.

VLDB-2004-ChanFZ #query #xpath

Taming XPath Queries by Minimizing Wildcard Steps (CYC, WF, YZ), pp. 156–167.

SAC-2004-TorgersenHEABG #java #programming language

Adding wildcards to the Java programming language (MT, CPH, EE, PvdA, GB, NMG), pp. 1289–1296.

SAC-PL-J-2004-TorgersenEHABG #java #programming language

Adding Wildcards to the Java Programming Language (MT, EE, CPH, PvdA, GB, NMG), pp. 97–116.

STOC-2002-ColeH #verification

Verifying candidate matches in sparse and wildcard matching (RC, RH), pp. 592–601.

SIGMOD-1996-KrishnanVI

Estimating Alphanumeric Selectivity in the Presence of Wildcards (PK, JSV, BRI), pp. 282–293.

ALP-1994-Kesner #reasoning

Reasoning about Layered, Wildcard and Product Patterns (DK), pp. 253–268.