HyperNova: Recursive Arguments for Customizable Constraint Systems
Abhiram Kothapalli, Srinath Setty
Topics & Concepts
Computer scienceConstraint (computer-aided design)HypernovaProgramming languageMathematicsComputer visionGeometryStarsFormal Methods in VerificationModel-Driven Software Engineering TechniquesLogic, programming, and type systems