Declarative networking is a recent approach to programming distributed applications with languages inspired by Datalog. A recent conjecture posits that the delivery of messages should respect causality if and only if they are used in non-monotone derivations. We present our results about this conjecture in the context of Dedalus, a Datalog-variant for distributed programming. We show that both ...

Recent research has explored using Datalog-based languages to express a distributed system as a set of logical invariants [2, 19]. Two properties of distributed systems proved difficult to model in Datalog. First, the state of any such system evolves with its execution. Second, deductions in these systems may be arbitrarily delayed, dropped, or reordered by the unreliable network links they mus...

The language Dedalus is a Datalog-like language in whichdistributed computations and networking protocols can beprogrammed, in the spirit of the Declarative Networkingparadigm. Whereas recently formal, operational, semanticsfor Dedalus-like languages have been developed, a purelydeclarative semantics has been lacking so far. The challengeis to capture precisely the amoun...

|The World Wide Web (WWW) provides a great opportunity for companies and individuals to publish their ideas, products and everything they would like other people to view. Since the Internet community and the Web are expanding every day, the demand for user friendly Web publishing applications is rising. The procedures that could be followed by Internet users in order to publish content on the w...

Program synthesis is the automatic construction of programs to meet given specifications. These specifications constitute a high-level description of the desired program which expresses the purpose of the program, without indicating the method by which that purpose is to be achieved. The specifications are expressed in terms of many constructs which are endemic to the particular subject domain ...