I have written a JAVA library for pi calculus which utilizes Deuce STM for managing concurrent processes.
I further wish to prove the type safety of my library.
Is Deuce STM library type safe? If yes, some links for the same would be appreciated.
Asked
Active
Viewed 78 times
0
tranquil
- 499
- 7
- 13
-
2What do you mean by type safe? – Guy Korland Mar 20 '13 at 20:11
-
Type safety means that, well-typed programs cannot go wrong. In other words, if a program compiles successfully, it will never break at run-time because of type errors. – tranquil Mar 21 '13 at 07:55
-
1Deuce doesn't suppose to break programs on type safety – Guy Korland Mar 21 '13 at 23:11