SugarCubes

MaRDI QIDQ14335swMATHFDO

Official website http://www-sop.inria.fr/meije/rp/SugarCubes/

Cited in

(10)

• Declarative programming with algebra
• Typing noninterference for reactive programs
• ArchJava
• ULM
• Esterel
• Hume
• Modechart
• Constructive semantics for instantaneous reactions
• Reactive concurrent programming revisited
• Fine-grained and coarse-grained reactive noninterference

This page was built for software: SugarCubes