SugarCubes

swMATH1630MaRDI QIDQ14335FDOQ14335

Author name not available (Why is that?)

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