Stem puriti$ (all stems)

13 papers:

SIGMOD-2015-ColgroveDHMSSTV #component #enterprise #named #performance

Purity: Building Fast, Highly-Available Enterprise Flash Storage from Commodity Components (JC, JDD, JH, ELM, CS, RS, AT, NV, FW), pp. 1683–1694.

ICSME-2015-YangHHK #java #refactoring #towards

Towards purity-guided refactoring in Java (JY, KH, YH, SK), pp. 521–525.

SCAM-2015-NicolayNRM #detection #javascript

Detecting function purity in JavaScript (JN, CN, CDR, WDM), pp. 101–110.

ICML-2012-FarabetCNL #learning #multi #parsing

Scene parsing with Multiscale Feature Learning, Purity Trees, and Optimal Covers (CF, CC, LN, YL), p. 241.

OOPSLA-2012-HuangMDE

Reim & ReImInfer: checking and inference of reference immutability and method purity (WH, AM, WD, MDE), pp. 879–896.

FSE-2012-HuangM #java #named

ReImInfer: method purity inference for Java (WH, AM), p. 38.

SAS-2011-MadhavanRV #abstract interpretation #analysis

Purity Analysis: An Abstract Interpretation Formulation (RM, GR, KV), pp. 7–24.

CC-2011-Pearce #composition #java #named

JPure: A Modular Purity System for Java (DJP), pp. 104–123.

IFL-2010-PitidisS #erlang

Purity in Erlang (MP, KFS), pp. 137–152.

FASE-2008-MossakowskiSG #logic #reasoning

A Generic Complete Dynamic Logic for Reasoning About Purity and Effects (TM, LS, SG), pp. 199–214.

PASTE-2007-XuPV #analysis #java #source code

Dynamic purity analysis for java programs (HX, CJFP, CV), pp. 75–82.

FASE-2005-Naumann #encapsulation

Observational Purity and Encapsulation (DAN), pp. 190–204.

VMCAI-2005-SalcianuR #analysis #java #source code

Purity and Side Effect Analysis for Java Programs (AS, MCR), pp. 199–215.