Neither author has a financial or proprietary interest in any material or method mentioned.

No abstract

No author has a financial or proprietary interest in any material or method mentioned.

Abstract-The Hierarchical Timing Language (HTL) is a realtime coordination language for distributed control systems. HTL programs must be checked for well-formedness, race freedom, transmission safety (schedulability of inter-host communication), and time safety (schedulability of host computation). We present a modular abstract syntax and semantics for HTL, modular checks of well-formedness, race freedom, and transmission safety, and modular code distribution. Our contributions here complement previous results on HTL time safety and modular code generation. Modularity in HTL can be utilized in easy program composition as well as fast program analysis and code generation, but also in so-called runtime patching, where program components may be modified at runtime.

The implantation of the Tecnis multifocal toric IOL in patients with cataract and corneal astigmatism provided excellent distance and near visual acuities with good intermediate visual acuity. Predictability of refractive results, rotational stability, and optical performance were excellent, allowing all patients in this series to achieve spectacle independence. [J Refract Surg. 2016;32(7):444-450.].