Title :
LEGO(TM) Bricks for Reactive Programming
Author_Institution :
Comput. Sci. Dept., Naval Postgrad. Sch., Monterey, CA, USA
Abstract :
A fundamental unit of computation is introduced for reactive programming called the LEGO® brick. It is targeted for domains in which JavaScript runs in an attempt to allow a user to build a trustworthy reactive program on demand rather than try to analyze JavaScript. A formal definition is given for snapping bricks together based on the standard product construction for deterministic finite automata.
Keywords :
Java; authoring languages; data flow computing; deterministic automata; finite automata; trusted computing; JavaScript; LEGO bricks; deterministic finite automata; product construction; reactive programming; trustworthy reactive program; Adders; Automata; Browsers; Delays; Keyboards; Mice; Programming; programming methodology;
Conference_Titel :
Security and Privacy Workshops (SPW), 2014 IEEE
Conference_Location :
San Jose, CA
DOI :
10.1109/SPW.2014.30
