Cocktail

MaRDI QIDQ12910swMATHFDO

Official website http://w3.win.tue.nl/nl/homepages/mfranssen_personal_pages/cocktail_ii/

Described by source

• Cocktail: A tool for deriving correct programs

Cited in

(5)

• A cocktail algorithm for solving the elastic net penalized Cox's regression in high dimensions
• Combining top-down and bottom-up techniques in program derivation
• coxnet
• scientific article; zbMATH DE number 2177628 (Why is no real title available?)
• Assumption propagation through annotated programs

This page was built for software: Cocktail