Three Subtyping Algorithms for Binary Session Types and their Complexity Analyses.
Thien UdomsrirungruangNobuko YoshidaPublished in: CoRR (2024)
Keyphrases
- space complexity
- times faster
- computational cost
- computational complexity
- complexity analysis
- theoretical analysis
- optimization problems
- statistical analysis
- worst case
- data structure
- learning algorithm
- reduced complexity
- lower complexity
- computational efficiency
- computationally expensive
- recently developed
- highly efficient
- computationally complex
- non binary
- real time
- graph theory
- convergence rate
- memory requirements
- decision problems
- machine learning algorithms
- machine learning
- data mining