Newton: A Language for Describing Physics

Jonathan Lim, Phillip Stanley-Marbell

This article introduces Newton, a specification language for notating the analytic form, units of measure, and sensor signal properties for physical-object-specific invariants and…