{"ref":"work","ref_type":"branch","master_branch":"master","description":"CoFloCo is a static analysis tool written in prolog to infer automatically symbolic complexity bounds of imperative and recursive programs.","pusher_type":"user"}