In the latest issue of The Art, Science, and Engineering of Programming, the authors delve into the world of protocols in programming. They highlight the importance of ensuring conformance to protocols to avoid software errors, focusing on the need for handling multiple protocols simultaneously within modern software applications. The authors introduce a novel concept of ‘interleaving’ composition for protocols, allowing engineers to combine and program against multiple protocols efficiently. Through their approach, they prove various desirable properties of the composition, showcasing its practical application in Erlang with a tool that generates code from protocols and vice versa. This innovative perspective opens doors for improving software quality through protocol conformance in a multi-protocol environment.
https://programming-journal.org/2023/7/6/