IPDL: Difference between revisions
Jump to navigation
Jump to search
(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...') |
|||
| Line 14: | Line 14: | ||
== Reference == | == Reference == | ||
The [[IPDL/Getting started]] guide intends to | The [[IPDL/Getting started]] guide intends to be somewhat verbose and gentle introduction to the IPDL. | ||
The [[IPDL/Five minute example]] shows only the code necessary to make IPDL "work." Before reading this, you should be somewhat familiar with the IPDL (or good at learning by example.) | |||
Revision as of 16:39, 13 July 2009
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
- Full dynamic safety checking
- Static analysis of code implementing IPDL interfaces
- Model checking of inter-protocol interactions
Reference
The IPDL/Getting started guide intends to be somewhat verbose and gentle introduction to the IPDL.
The IPDL/Five minute example shows only the code necessary to make IPDL "work." Before reading this, you should be somewhat familiar with the IPDL (or good at learning by example.)