BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
java (8)
calculus (4)
core (3)
lock (2)
transact (2)

Stem featherweight$ (all stems)

13 papers:

ASPLOSASPLOS-2013-ZhangKLLS #concurrent #debugging #execution #named #thread
ConAir: featherweight concurrency bug recovery via single-threaded idempotent execution (WZ, MdK, AL, SL, KS), pp. 113–126.
ECOOPECOOP-2011-Igarashi #approach
A Featherweight Approach to FOOL (AI), p. 433.
IFMIFM-2010-TranS #commit #java #transaction
Safe Commits for Transactional Featherweight Java (TMTT, MS), pp. 290–304.
SLESLE-2010-ErdwegO #correctness #parsing #tex
Featherweight TeX and Parser Correctness (STE, KO), pp. 397–416.
PPoPPPPoPP-2010-LeeP #calculus #parallel
Featherweight X10: a core calculus for async-finish parallelism (JKL, JP), pp. 25–36.
ECOOPECOOP-2009-LagorioSZ #calculus #composition
Featherweight Jigsaw: A Minimal Core Calculus for Modular Composition of Classes (GL, MS, EZ), pp. 244–268.
GPCEGPCE-2008-ApelKL #calculus #feature model #java #programming #refinement
Feature featherweight java: a calculus for feature-oriented programming and stepwise refinement (SA, CK, CL), pp. 101–112.
SACSAC-2007-BettiniCG #java
Featherweight wrap Java (LB, SC, EG), pp. 1094–1100.
PPoPPPPoPP-2007-MaratheHL #thread #transaction
Featherweight transactions: decoupling threads and atomic blocks (VJM, TLH, JRL), pp. 134–135.
OOPSLAOOPSLA-2003-ZhaoPV #java #lightweight
Lightweight confinement for featherweight Java (TZ, JP, JV), pp. 135–148.
OOPSLAOOPSLA-1999-IgarashiPW #calculus #java
Featherweight Java: A Minimal Core Calculus for Java and GJ (AI, BCP, PW), pp. 132–146.
PLDIPLDI-1998-BaconKMS #java
Thin Locks: Featherweight Synchronization for Java (DFB, RBK, CM, MJS), pp. 258–268.
PLDIBest-of-PLDI-1998-BaconKMS98a #java
Thin locks: featherweight Synchronization for Java (with retrospective) (DFB, RBK, CM, MJS), pp. 583–595.

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.