並列プロセスを管理するためにDeuce STMを利用する円周率計算用のJavaライブラリを作成しました。
さらに、ライブラリの型安全性を証明したいと考えています。
Deuce STM ライブラリは型安全ですか? はいの場合、同じリンクをいくつかいただければ幸いです。
並列プロセスを管理するためにDeuce STMを利用する円周率計算用のJavaライブラリを作成しました。
さらに、ライブラリの型安全性を証明したいと考えています。
Deuce STM ライブラリは型安全ですか? はいの場合、同じリンクをいくつかいただければ幸いです。