Contract

swMATH13677MaRDI QIDQ25591FDOQ25591

Author name not available (Why is that?)

Described by source

• Practical typed lazy contracts

Cited In (2)

• An extended account of contract monitoring strategies as patterns of communication
• A Debugger-Cooperative Higher-Order Contract System in Python

This page was built for software: Contract