Mostly-Functional Behavior in Java Programs
Abstract elided by the publisher.
Related papers
- Mostly concurrent garbage collection revisited OOPSLA 2003
- A JML Tutorial: Modular Specification and Verification of Functional Behavior for Java CAV 2007
- Global Type Inference for Featherweight Generic Java ECOOP 2022
- Lock reservation: Java locks can mostly do without atomic operations OOPSLA 2002
- KScript and KSWorld: a time-aware and mostly declarative language and interactive GUI framework Onward! 2013
- Temporal higher-order contracts ICFP 2011
- A Generational Mostly-Concurrent Garbage Collector ISMM 2000
- Comparing Mostly-Copying and Mark-Sweep Conservative Collection ISMM 1998