- Tytuł:
- Correct-by-Construction Concurrency: Using Dependent Types to Verify Implementations of Effectful Resource Usage Protocols
- Autorzy:
-
Brad, E.
Hammond, K. - Data publikacji:
- 2010
- Słowa kluczowe:
-
concurrent programming
domain specific language (DSL) - Pokaż więcej
- Dostawca treści:
- BazTech