Showing cs.PLShow all
2 papers · 1 filter
cs.PL2016
Abstracting Event-Driven Systems with Lifestate Rules
Shawn Meier, Aleksandar Chakarov, Maxwell Russek +2
We present lifestate rules--an approach for abstracting event-driven object protocols. Developing applications against event-driven software frameworks is notoriously difficult. On…
cs.PL2016
A Vision for Online Verification-Validation
Matthew A. Hammer, Bor-Yuh Evan Chang, David Van Horn
Today's programmers face a false choice between creating software that is extensible and software that is correct. Specifically, dynamic languages permit software that is richly ex…