BitC
E50815
BitC is a systems programming language designed for safety, low-level control, and formal verification, drawing on ideas from Modula-3 and capability-based security.
Statements (25)
| Predicate | Object |
|---|---|
| instanceOf |
programming language
→
systems programming language → |
| aimsToProvide |
C-like performance
→
stronger safety guarantees than C → |
| designedFor |
formal verification
→
low-level control → safety → systems programming → |
| domain |
systems software
→
|
| hasDesignGoal |
expressiveness
→
safety → support for capability-based security → support for verification → |
| hasFeature |
low-level memory control
→
strong static typing → support for formal reasoning → systems-level abstractions → |
| hasName |
BitC
→
|
| influencedBy |
Modula-3
→
capability-based security → |
| paradigm |
imperative programming
→
systems programming → |
| relatedTo |
Modula-3
→
capability-based languages → |
| supports |
low-level systems programming
→
|