10 papers:
ECOOP-2014-LiTSX #java #self- Self-inferencing Reflection Resolution for Java (YL, TT, YS, JX), pp. 27–53.
PASTE-2008-Hubert #bytecode #java- A non-null annotation inferencer for Java bytecode (LH), pp. 36–42.
TOOLS-EUROPE-2007-EkmanH #java- Pluggable checking and inferencing of nonnull types for Java (TE, GH), pp. 455–475.
IWPC-J-1999-DeursenM01 #cobol #empirical- An empirical study into COBOL type inferencing (AvD, LM), pp. 189–211.
HCI-CCAD-1999-FurutaOK #human-computer #interface- Intelligent plant human-machine interface based on intent inferencing (KF, YO, SK), pp. 1192–1196.
SAC-1997-LewisSZ #network #performance #retrieval #scalability- Scaling of neural network inferencing by efficient storage and retrieval of outputs (BL, AS, JZ), pp. 10–14.
ICLP-1995-Beierle #logic programming #order #polymorphism #source code- Type Inferencing for Polymorphic Order-Sorted Logic Programs (CB), pp. 765–779.
- SAC-1993-BeaversB
- “Dynamic” Inferencing with Generalized Resolution (GB, HB), pp. 614–621.
- JICSCP-1988-BruynoogheJ88 #abstract interpretation
- An Instance of Abstract Interpretation Integrating Type and Mode Inferencing (MB, GJ), pp. 669–683.
POPL-1982-Komorowski #data type #implementation #partial evaluation #prolog- Partial Evaluation as a Means for Inferencing Data Structures in an Applicative Language: A Theory and Implementation in the Case of Prolog (HJK), pp. 255–267.
