Difference between revisions of "Category:Categories"
From Termination-Portal.org
Jump to navigationJump to search (Created page with 'The tools work on different types of problems, which are listed on this site.') |
(Improving Category text) |
||
| (One intermediate revision by one other user not shown) | |||
| Line 1: | Line 1: | ||
| − | The tools | + | The tools developed by the community address different types of problems. |
| + | This page lists all problem categories supported by tools in the Termination Portal. | ||
| + | Each category represents a class of programs together with a specific analysis goal, | ||
| + | such as proving termination or deriving upper bounds on the runtime complexity. | ||
Latest revision as of 12:42, 15 January 2026
The tools developed by the community address different types of problems. This page lists all problem categories supported by tools in the Termination Portal. Each category represents a class of programs together with a specific analysis goal, such as proving termination or deriving upper bounds on the runtime complexity.
Pages in category "Categories"
The following 13 pages are in this category, out of 13 total.
