Stem clover$ (all stems)

4 papers:

LCTES-2015-LiuJLT #compilation #fault #lightweight #named

Clover: Compiler Directed Lightweight Soft Error Resilience (QL, CJ, DL, DT), p. 10.

CSCW-2002-LaurillauN #architecture

Clover architecture for groupware (YL, LN), pp. 236–245.

IFL-1996-BraineC #functional #object-oriented

Introducing CLOVER: An Object-Oriented Functional Language (LB, CC), pp. 1–20.

DAC-1991-DoukasL #constraints #named #verification

CLOVER: A Timing Constraints Verification System (DD, ASL), pp. 662–667.