A domain-specific language approach to protocol stack implementation

Authors:
Yan Wang;Verónica Gaspes
Affiliations:
CERES, Halmstad University, Halmstad, Sweden;CERES, Halmstad University, Halmstad, Sweden
Venue:
PADL'10 Proceedings of the 12th international conference on Practical Aspects of Declarative Languages
Year:
2010

Citing 3
Cited 1

Packet types: abstract specification of network protocol messages

Proceedings of the conference on Applications, Technologies, Architectures, and Protocols for Computer Communication
Compiling embedded languages

Journal of Functional Programming
An adaptive communication architecture for wireless sensor networks

Proceedings of the 5th international conference on Embedded networked sensor systems

An embedded language for programming protocol stacks in embedded systems

Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and program manipulation

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper describes a domain-specific language embedded in Haskell, IPS, for the implementation of protocol stacks for embedded systems. IPS profits from Haskell’s features and generates C implementations by embedded compilation.