『Liquid Types』
Rondon, Patrick M., Kawaguci, Ming, Jhala, Ranjit. “Liquid types”. Proceedings of the 29th ACM SIGPLAN Conference on Programming Language Design and Implementation. New York, NY, USA. New York, NY, USA, Association for Computing Machinery, 2008, p. 159–169, (PLDI ’08). https://doi.org/10.1145/1375581.1375602 , (参照 2024-05-11).
1. どんなもの？
Liquid Types(Logically Qualified Data Types)について
DSOLVE
2. 先行研究と比べてどこがすごい？
3. 技術や手法のキモはどこ？
4. どうやって有効だと検証した？
5. 議論はある？
6. 次に読むべき論文は？
DSOLVE
キーワード: D.2.4 [Software Engineering]: Software/Program Verification; F.3.1 [Logics and Meanings of Programs]: Specifying and Verifying and Reasoning about Programs
#プログラム検証 #ソフトウェア検証
table:訳
Logically Qualified Data Types
Predicate Abstraction 述語抽象？
Liquid Types 液体型？
liqud type inference 液体型推論？
strongly typed language 強く型付けされた言語
strong static typing 強い静的型付け
type inference 型推論
dependent types 依存型
refinement 詳細化(リファインメント)
確認用
Q.
#論文読み #論文 #文献