User loginNavigation |
TyPiCal: Type-based static analyzer for the Pi-CalculusTyPiCal is a type-based static analyzer for the pi-calculus. The current version of TyPiCal provides four kinds of program analyses or program transformations: lock-freedom analysis, deadlock-freedom analysis, useless-code elimination, and information flow analysis. Type system is an ordinary type system extended so that channel types carry precise information about how each channel is used. This allows a type inferencer to obtain information about the behavior of a process. |
Browse archives
Active forum topics
|
Recent comments
15 weeks 3 days ago
19 weeks 5 days ago
21 weeks 2 days ago
21 weeks 2 days ago
24 weeks 15 hours ago
28 weeks 5 days ago
28 weeks 5 days ago
29 weeks 1 day ago
29 weeks 1 day ago
31 weeks 6 days ago