1. Welcome
  2. Overview
  3. Development
  4. 1. Introduction
  5. 2. Compiling binaries
  6. Design requirements
  7. 3. Introduction
  8. 4. Background
  9. 5. Context & Use-case
  10. 6. Requirements
  11. Implementation
  12. 7. Introduction
  13. 8. Bird's-eye view
  14. 9. Virtual Machine (VM) for the WIR
    1. 9.1. Overview
    2. 9.2. Expression stack
    3. 9.3. Variable register
    4. 9.4. Frame stack
    5. 9.5. Bringing it together
      1. 9.5.1. Workflow example
  15. 10. Services
    1. 10.1. brane-drv
    2. 10.2. brane-plr
    3. 10.3. brane-api
    4. 10.4. brane-job
    5. 10.5. brane-reg
    6. 10.6. brane-prx
  16. Framework specification
  17. 11. Introduction
  18. 12. Workflow Internal Representation (WIR)
    1. 12.1. Toplevel schema
    2. 12.2. Layer 1: The graph
    3. 12.3. Layer 2: Instructions
  19. Future work
  20. 13. Introduction
  21. Appendix
  22. 14. Overview
  23. 15. Appendix A: BraneScript specification
    1. 15.1. Introduction
    2. 15.2. Features
    3. 15.3. Formal grammar
    4. 15.4. Scoping rules
    5. 15.5. Typing rules
    6. 15.6. Workflow analysis
    7. 15.7. Compilation steps
    8. 15.8. Future work

Brane: A Specification

Typing rules