Brigitte Pientka

セッションタイプを使ってコンピュータシステムの通信安全性を探る新しい方法。

隣接論理とそのプログラミングや計算への応用についての見方。

セッションタイプは、システムコンポーネント間の構造化されたコミュニケーションを可能にして、信頼性を向上させるんだ。

この論文では、SATソルビングを使った効率的なツリー差分メソッドを紹介するよ。

Tyroはプログラマー、特に初心者のために型エラーの特定を強化するんだ。

安全で効率的なコード生成のためのフレームワークを紹介します。