C++ linter based on linear types
Resource history | v1 (current) | created by jjones
Details
C++ linter based on linear types
see v1 | created by jjones | Add topic "Linear type system"
- Title
- C++ linter based on linear types
- Type
- Paper
- Created
- 2020-09-14
- Description
- Low-level programming requires careful management of system resources, most notably memory. In C++ programmers are encouraged to follow idioms like RAII and smart pointers to handle resources correctly as violating them leads to unsafe code. Typed functional programming languages guarantee safe automatic memory management, but are often sub-optimal in handling system resources. A nice, formal solution to handling resources naturally is linear types. Unfortunately, existing languages that support linearity are cumbersome and require explicit, complicated annotations from the programmer.
- Link
- http://hdl.handle.net/20.500.11956/120939
- Identifier
- no value
authors
This resource has no history of related authors.
topics
about Linear type system
about Static program analysis
resources
This resource has no history of related resources.