Cocktail

swMATH142MaRDI QIDQ12910FDOQ12910

Author name not available (Why is that?)

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)

• Title not available (Why is that?)
• Assumption propagation through annotated programs
• Combining top-down and bottom-up techniques in program derivation
• coxnet
• A cocktail algorithm for solving the elastic net penalized Cox's regression in high dimensions

This page was built for software: Cocktail