COCOS - A configurable SDL compiler for generating efficient protocol implementations.

Peter Langendörfer Hartmut König

Published in: SDL Forum (1999)

Keyphrases

cost effective
lightweight
databases
computationally efficient
general purpose
computationally expensive
generation process
provably secure
case study
database systems
programming language
operating system
formal analysis
communication protocol