IPDL

From MozillaWiki
Revision as of 19:32, 9 July 2009 by Cgj (talk | contribs) (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...')
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

IPDL is the "Inter-*-communication Protocol Definition Language", where "*" includes "process" and "thread."

Status

The IPDL compiler is being implemented in stages.

  1. Basic code generation (no protocol management)
  2. Type checking and protocol management
  3. (IN PROGRESS) Protocol state machines
  4. Full dynamic safety checking
  5. Static analysis of code implementing IPDL interfaces
  6. Model checking of inter-protocol interactions

Reference

The IPDL/Getting started guide intends to help you get started writing protocols as quickly as possible.

Retrieved from "https://wiki.allizom.org/index.php?title=IPDL&oldid=154329"