OptiML

swMATH5117MaRDI QIDQ17257FDOQ17257

Author name not available (Why is that?)

Cited In (3)

• LMS-Verify: abstraction without regret for verified systems programming
• SESSL
• Optimizing data structures in high-level programs

This page was built for software: OptiML