You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The language environment for BOOM is called Bloom. Bloom is based on a fully declarative logic language called Dedalus, which is described in a technical report, but is designed to be programmer-friendly.
The P2 project is complete, and the software no longer supported. Users interested in an Overlog runtime system should consider using the new JOL interpreter, and/or getting in touch with members of the BOOM team.
The DSN project is complete, and the software no longer supported.
DSN and its language, Snlog, are for use in wireless sensor network devices running the TinyOS operating system. Snlog makes it easy to program wireless network stacks and distributed applications in an embedded operating system.
MUNDO is the NSF-funded project on Managing Uncertainty in Networks with Declarative Overlays, led by Joe Hellerstein at Berkeley and Carlos Guestrin at CMU