Cocktail

swMATH142MaRDI QIDQ12910FDOQ12910

Author name not available (Why is that?)

Described by source

• Cocktail: A tool for deriving correct programs

Cited In (4)

• Combining Top-Down and Bottom-Up Techniques in Program Derivation
• Title not available (Why is that?)
• Assumption propagation through annotated programs
• A cocktail algorithm for solving the elastic net penalized Cox's regression in high dimensions

This page was built for software: Cocktail