Enforcing high-level protocols in low-level software

R DeLine, M Fähndrich - Proceedings of the ACM SIGPLAN 2001 …, 2001 - dl.acm.org
The reliability of infrastructure software, such as operating systems and web servers, is often
hampered by the mismanagement of resources, such as memory and network connections …
被引用次数：573 相关文章

[引用][C] Enforcing high-level protocols in low-level software

R DELINE - Proc. ACM SIGPLAN 2001 Conference on …, 2001 - cir.nii.ac.jp
Enforcing high-level protocols in low-level software | CiNii Research CiNii 国立情報学研究所
学術情報ナビゲータ[サイニィ] 詳細へ移動 検索フォームへ移動 論文・データをさがす 大学図書館の本を …

Enforcing high-level protocols in low-level software

R DeLine, M Fähndrich - ACM SIGPLAN Notices, 2001 - dl.acm.org
The reliability of infrastructure software, such as operating systems and web servers, is often
hampered by the mismanagement of resources, such as memory and network connections …
[PDF] psu.edu

[PDF][PDF] Enforcing High-Level Protocols in Low-Level Software

RDLM F&hndrich - 2001 - Citeseer
The reliability of infrastructure software, such as operating systems and web servers, is often
hampered by the mismanagement of resources, such as memory and network connections …

[引用][C] Enforcing high-level protocols in low-level software

R DELINE, M FÄHNDRICH - ACM SIGPLAN notices, 2001 - pascal-francis.inist.fr
Enforcing high-level protocols in low-level software CNRS Inist Pascal-Francis CNRS
Pascal and Francis Bibliographic Databases Simple search Advanced search Search by …

[引用][C] Enforcing high-level protocols in low-level software

R DeLine, M Fähndrich - ACM SIGPLAN Notices, 2001 - cir.nii.ac.jp
Enforcing high-level protocols in low-level software | CiNii Research CiNii 国立情報学研究所
学術情報ナビゲータ[サイニィ] 詳細へ移動 検索フォームへ移動 論文・データをさがす 大学図書館の本を …