Abstract
This chapter presents recent advances in declarative networking. In recent years, research in declarative networking has evolved beyond its original roots as a framework for rapid prototyping, towards one that serves as an important bridge connecting formal theories for reasoning about protocol correctness and actual implementations. The ability to bridge this gap is a major step forward compared to traditional approaches in which formal specifications, proof of protocol correctness and implementations are decoupled from one another; this decoupling leads to increased development time, error prone implementations, and tedious debugging.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer Nature Switzerland AG
About this chapter
Cite this chapter
Loo, B.T., Zhou, W. (2012). Recent Advances in Declarative Networking. In: Declarative Networking. Synthesis Lectures on Data Management. Springer, Cham. https://doi.org/10.1007/978-3-031-01886-2_8
Download citation
DOI: https://doi.org/10.1007/978-3-031-01886-2_8
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-00758-3
Online ISBN: 978-3-031-01886-2
eBook Packages: Synthesis Collection of Technology (R0)eBColl Synthesis Collection 4