Abstract
L.O is a programming language, which is currently being experimentally used at Bellcore as an executable specification language for communications software. It's design was driven by the special nature of communications systems. The most fundamental aspect of communications systems is that many fairly simple things are happening at the same time, for all time. It is precisely this aspect that is so difficult to specify in languages based on a sequential or asynchronous model. It is easy to specify this in L.0 because L.0 has an abstract concurrent-readcommon-concurrent-write shared memory model, a notion of next, and because the basic composition operator is conjunction. Another fundamental aspect of communications systems is that many of the things happening simultaneously are very similar. Thus, another basic feature of L.0 is quantification, which permits parametrized specifications.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
