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

Proceedings - International Conference on Distributed Computing Systems

Volumn , Issue , 2009, Pages 208-213

  Bhatti, Saleem ^a   Brady, Edwin ^a   Hammond, Kevin ^a   McKinna, James ^b  

^a UNIVERSITY OF ST ANDREWS   (United Kingdom)

^b RADBOUD UNIVERSITY NIJMEGEN   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

C (PROGRAMMING LANGUAGE); DIGITAL SUBSCRIBER LINES; FUNCTIONAL PROGRAMMING; INTERNET PROTOCOLS; NEXT GENERATION NETWORKS; PROBLEM ORIENTED LANGUAGES;

ARCHITECTURE DESIGNS; DESIGN AND IMPLEMENTATIONS; DESIGN ENGINEERING; DOMAINS SPECIFIC LANGUAGES; NETWORKED SYSTEMS; NETWORKING COMMUNITY; NEXT GENERATION NETWORK ARCHITECTURE; POSITION PAPERS; PRACTICAL EXPERIENCE; PROGRAMMING TECHNIQUE;

NETWORK ARCHITECTURE;

EID: 85034631943     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICDCSW.2009.64     Document Type: Conference Paper

References (17)

1. S. N. Bhatti and G. Knight, “Enabling QoS adaptation decisions for Internet applications,” Computer Networks, vol. 31, no. 67, pp. 669–692, 1999.
2. M. Rogers and S. Bhatti, “A Lightweight Mechanism for Dependable Communication in Untrusted Networks,” in Proc. DSN2007 – 37th Annual IEEE/IFIP Conference of Dependable Systems and Networks. IEEE Computer Society, 2007.
3. Y. C. Huang, S. Bhatti, and D. Parker, “Tuning OLSR,” in PIMRC2006 - The 17th Annual IEEE International Symposium on Personal, Indoor and Mobile Radio Communications, Helsinki, FI, 2006, pp. 1–5.
4. P. Wadler, “Theorems for Free!” in Proc. Conf. on Funct. Prog. Languages and Computer Arch., FPCA’89. ACM, 1989. [Online]. Available: citeseer.ist.psu.edu/wadler89theorems.html
5. C. McBride and J. McKinna, “The View from the Left,” Journal of Functional Programming, vol. 14, no. 1, pp. 69–111, 2004.
6. A. S. Tanenbaum, Computer Networks, 4th ed. Prentice Hall, 2003.
7. D. Walker, “A Type System for Expressive Security Policies,” in Twenty-Seventh ACM SIGPLAN Symposium on Principles of Programming Languages. ACM, 2000, pp. 254–267.
8. A. Igarashi and N. Kobayashi, “Resource Usage Analysis,” in Symposium on Principles of Programming Languages. ACM, 2002, pp. 331–342. [Online]. Available: citeseer.ist. psu.edu/igarashi02resource.html
9. G. Tan, X. Ou, and D. Walker, “Resource Usage Analysis Via Scoped Methods,” in Foundations of Object-Oriented Languages, 2003.
10. N. Kobayashi, “A Type System for Lock-Free Processess,” Inf. Comput., vol. 177, no. 2, pp. 122–159, 2002.
11. K. Suenaga and N. Kobayashi, “Type-Based Analysis of Deadlock for a Concurrent Calculus with Interrupts,” in ESOP, ser. LNCS, vol. 4421. Springer, 2007.
12. P. J. McCann and S. Chandra, “Packet types: Abstract specification of network protocol messages,” in SIGCOMM’00. ACM, 2000.
13. K. Fisher, Y. Mandelbaum, and D. Walker, “The Next 700 Data Description Languages,” in Symposium on Principles of Programming Languages. ACM, 2006.
14. Y. Mandelbaum, K. Fisher, D. Walker, M. Fernandez, and A. Gleyzer, “PADS/ML, a Functional Data Description Language,” in Symposium on Principles of Programming Languages. ACM, 2007.
15. K. Marriott, P. Stuckey, and M. Sulzmann, “Resource Usage Verification,” in Proc. First Asian Programming Language Symposium, APLAS 2003. Springer-Verlag, 2003, pp. 212–229.
16. T. G. Griffin and J. L. Sobrinho, “Metarouting,” in SIGCOMM ’05: Proceedings of the 2005 conference on Applications, technologies, architectures, and protocols for computer communications. ACM, 2005.
17. S. Bishop, M. Fairbairn, M. Norrish, P. Sewell, M. Smith, and K. Wansbrough, “Rigorous Specification and Conformance Testing Techniques for Network Protocols, as Applied to TCP, UDP, and Sockets,” in SIGCOMM’05: Proc. Conf. Applications, technologies, architectures, and protocols for computer communications. ACM, 2005.