Skip to content

Research at St Andrews

Domain Specific Languages (DSLs) for Network Protocols (Position Paper)

Research output: Contribution to journalArticle

DOI

Abstract

Next generation network architectures will benefit from the many years of practical experience that have been gained in designing, using and operating network protocols. Over time, the networking community has gradually improved its understanding of networked systems in terms of architecture, design, engineering and testing. However, as protocols and networked systems become more complex, it is our contention that it will be necessary for programming techniques to evolve similarly so that they better support the design, implementation and testing of both the functional and the non-functional requirements for the network protocols that will be used.

We therefore envisage new levels of programming language support that permit: (a) the design and implementation of new protocols with provably correct construction; (b) inline testing; and (c) the expression of protocol behaviour within the design. Based on our ongoing work with both network protocols and programming language design, we believe that exploiting the capabilities of recent work in Domain Specific Languages (DSLs) will allow us to meet such requirements, allowing straightforward and "correct-by-construction" design and implementation of next generation network protocols.

Close

Details

Original languageEnglish
Pages (from-to)208-213
Number of pages6
JournalICDCS: 2009 INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS WORKSHOPS
DOIs
StatePublished - 2009

Discover related content
Find related publications, people, projects and more using interactive charts.

View graph of relations

Related by author

  1. Resource-Safe Systems Programming with Embedded Domain Specific Languages

    Brady, E. C. & Hammond, K. 2012 Practical Aspects of Declarative Languages: 14th International Symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings. Russo, C. & Zhou, N-F. (eds.). Springer, Vol. 7149, p. 242-257 16 p. (Lecture Notes in Computer Science)

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  2. Scrapping your inefficient engine: using partial evaluation to improve domain-specific language implementation

    Brady, E. C. & Hammond, K. 2010 ICFP '10: Proceedings of the 15th ACM SIGPLAN international conference on Functional programming. ACM, p. 297-308 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  3. Lightweight Invariants with Full Dependent Types

    Brady, E. C., Herrmann, C. A. & Hammond, K. 2008 Trends in Functional Programming. Intellect Books

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  4. Constructing Correct Circuits: Verification of Functional Aspects of Hardware Specifications with Dependent Types

    Brady, E. C., McKinna, J. H. & Hammond, K. 2008 Trends in Functional Programming. Intellect Books, Vol. 8, p. 159-176

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

ID: 4509390