kirancodes.me
To Proof Maintenance & Beyond!

ESP: A Language for Programmable Devices

Sanjeev Kumar, Yitzhak Mandelbaum, Xiang Yu, Kai Li

Abstract

This paper presents the design and implementation of Event-driven State-machines Programming (ESP)—a language for programmable devices. In traditional languages, like C, using event-driven state-machine forces a tradeoff that requires giving up ease of development and reliability to achieve high performance. ESP is designed to provide all of these three properties simultaneously.

Related papers