PType System: A Featherweight Parallelizability Detector
Abstract elided by the publisher.
Related papers
- Featherweight X10: a core calculus for async-finish parallelism PPoPP 2010
- Featherweight generic confinement JFP 2006
- Feature featherweight java: a calculus for feature-oriented programming and stepwise refinement GPCE 2008
- Global Type Inference for Featherweight Generic Java ECOOP 2022
- Lightweight confinement for featherweight Java OOPSLA 2003
- Featherweight Swift: a Core calculus for Swift's type system SLE 2020
- Multi-Graded Featherweight Java ECOOP 2023
- Featherweight Java: a minimal core calculus for Java and GJ TOPLAS 2001