IPDL: Difference between revisions

Jump to navigation Jump to search
387 bytes removed ,  19 May 2021
remove obsolete reference to state machine stuff being in progress
(remove obsolete reference to state machine stuff being in progress)
Line 1: Line 1:
IPDL is the "Inter-*-communication Protocol Definition Language", where "*" includes "process" and "thread."
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
# Protocol state machines
# ('''IN PROGRESS''') Full dynamic safety checking
# <font color="gray">Static analysis of code implementing IPDL interfaces</font>
# <font color="gray">Model checking of inter-protocol interactions</font>


== Reference ==
== Reference ==
Confirmed users
624

edits

Navigation menu