Add topic "Linear type system" Accepted
Changes: 11
-
Add C++ linter based on linear types
- Title
-
- Unchanged
- C++ linter based on linear types
- Type
-
- Unchanged
- Paper
- Created
-
- Unchanged
- 2020-09-14
- Description
-
- Unchanged
- 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
-
- Unchanged
- http://hdl.handle.net/20.500.11956/120939
- Identifier
-
- Unchanged
- no value
Resource | v1 | current (v1) -
Add Linear type system
- Title
-
- Unchanged
- Linear type system
- Description
-
- Unchanged
- Linear types corresponds to linear logic and ensures that objects are used exactly once, allowing the system to safely deallocate an object after its use.
- Link
-
- Unchanged
- https://en.wikipedia.org/?curid=14554100
Topic | v1 | current (v1) -
Add Substructural type system
- Title
-
- Unchanged
- Substructural type system
- Description
-
- Unchanged
- Substructural type systems are a family of type systems analogous to substructural logics where one or more of the structural rules are absent or only allowed under controlled circumstances. Such systems are useful for constraining access to system resources such as files, locks and memory by keeping track of changes of state that occur and preventing invalid states.
- Link
-
- Unchanged
- https://en.wikipedia.org/?curid=14554100
Topic | v1 | current (v1) -
Add Type system
- Title
-
- Unchanged
- Type system
- Description
-
- Unchanged
- In programming languages, a type system is a logical system comprising a set of rules that assigns a property called a type to the various constructs of a computer program, such as variables, expressions, functions or modules. These types formalize and enforce the otherwise implicit categories the programmer uses for algebraic data types, data structures, or other components (e.g. "string", "array of float", "function returning boolean"). The main purpose of a type system is to reduce possibilities for bugs in computer programs by defining interfaces between different parts of a computer program, and then checking that the parts have been connected in a consistent way. This checking can happen statically (at compile time), dynamically (at run time), or as a combination of both.
- Link
-
- Unchanged
- https://en.wikipedia.org/?curid=199701
Topic | v1 | current (v1) -
Add Static program analysis
- Title
-
- Unchanged
- Static program analysis
- Description
-
- Unchanged
- Static program analysis is the analysis of computer software that is performed without actually executing programs, in contrast with dynamic analysis, which is analysis performed on programs while they are executing. In most cases the analysis is performed on some version of the source code, and in the other cases, some form of the object code. The term is usually applied to the analysis performed by an automated tool, with human analysis being called program understanding, program comprehension, or code review. Software inspections and software walkthroughs are also used in the latter case.
- Link
-
- Unchanged
- https://en.wikipedia.org/?curid=28811
Topic | v1 | current (v1) -
Add Static program analysis treated in C++ linter based on linear types
- Current
- treated in
Topic to resource relation | v1 -
Add Linear type system treated in C++ linter based on linear types
- Current
- treated in
Topic to resource relation | v1 -
Add Substructural type system is Type system
- Current
- is
Topic to topic relation | v1 -
Add Linear type system is Substructural type system
- Current
- is
Topic to topic relation | v1 -
Add Computer science parent of Static program analysis
- Current
- parent of
Topic to topic relation | v1 -
Add Programming language parent of Type system
- Current
- parent of
Topic to topic relation | v1