Stem pcc$ (all stems)

3 papers:

CAV-2013-WonischSW #proving #source code

Programs from Proofs — A PCC Alternative (DW, AS, HW), pp. 912–927.

ESOP-2003-YuHS #library

Building Certified Libraries for PCC: Dynamic Storage Allocation (DY, NAH, ZS), pp. 363–379.

EDTC-1997-GrotkerSM #data flow #modelling #named

PCC: a modeling technique for mixed control/data flow systems (TG, RS, HM), pp. 482–486.