Confirm
699
edits
Changes
IPDL
,Created page with 'IPDL is the "Inter-*-communication Protocol Definition Language", where "*" includes "process" and "thread." == Status == The IPDL compiler is being implemented in stages. # B...'
IPDL is the "Inter-*-communication Protocol Definition Language", where "*" includes "process" and "thread."
== Status ==
The IPDL compiler is being implemented in stages.
# Basic code generation (no protocol management)
# Type checking and protocol management
# ('''IN PROGRESS''') Protocol state machines
# <font color="gray">Full dynamic safety checking</font>
# <font color="gray">Static analysis of code implementing IPDL interfaces</font>
# <font color="gray">Model checking of inter-protocol interactions</font>
== Reference ==
The [[IPDL/Getting started]] guide intends to help you get started writing protocols as quickly as possible.
== Status ==
The IPDL compiler is being implemented in stages.
# Basic code generation (no protocol management)
# Type checking and protocol management
# ('''IN PROGRESS''') Protocol state machines
# <font color="gray">Full dynamic safety checking</font>
# <font color="gray">Static analysis of code implementing IPDL interfaces</font>
# <font color="gray">Model checking of inter-protocol interactions</font>
== Reference ==
The [[IPDL/Getting started]] guide intends to help you get started writing protocols as quickly as possible.
