A network programming language based on concurrent processes and regular expressions

Authors:
Kenta Hatori;Kei Hiraki
Affiliations:
Systems Development Division, Research Institute of Systems Planning, Inc. /ISP, Tokyo, Japan;Graduate School of Information Science and Technology, The University of Tokyo, Tokyo, Japan
Venue:
SE'07 Proceedings of the 25th conference on IASTED International Multi-Conference: Software Engineering
Year:
2007

Citing 10
Cited 0

Compiling with continuations

Compiling with continuations
No assembly required: compiling standard ML to C

ACM Letters on Programming Languages and Systems (LOPLAS)
Concurrent programming in ERLANG (2nd ed.)

Concurrent programming in ERLANG (2nd ed.)
The development of Erlang

ICFP '97 Proceedings of the second ACM SIGPLAN international conference on Functional programming
A readable TCP in the Prolac protocol language

Proceedings of the conference on Applications, technologies, architectures, and protocols for computer communication
Concurrent programming in ML

Concurrent programming in ML
Communicating and mobile systems: the &pgr;-calculus

Communicating and mobile systems: the &pgr;-calculus
Model checking

Model checking
Regular expression types for XML

ICFP '00 Proceedings of the fifth ACM SIGPLAN international conference on Functional programming
XDuce: A statically typed XML processing language

ACM Transactions on Internet Technology (TOIT)

Quantified Score

Hi-index	0.00

Visualization

Abstract

We propose a new programming language Preccs for networking and implementing communication protocols. Preccs is based on ideas of concurrent processes and regular expressions. We designed the language for simple and intuitive description of communication protocols. Then, we have developed a Preccs compiler that generates C code from a Preccs source program. The generation of C code with the Preccs compiler will make it possible for reliable communication programs development in a short period. In order to evaluate the effectiveness of our approach, we have implemented a simple HTTP server and a simple VoIP application in Preccs. Both of them are implemented in a few lines of code.