V

Verification of Erlang programs using abstract interpretation and model checking

🌐 访问网站

📝 描述

Frank Huch. Fourth ACM SIGPLAN international conference on Functional programming, Paris.

⭐ 用户评价

暂无评价

发表评价

🔗 相关条目

A staged tag scheme for Erlang

Erlang becomes Open Source

GPRS - General Packet Radio services

A practical subtyping system for Erlang

📂 分类

文化艺术商业计算机游戏健康新闻媒体消遣娱乐社会生活体育教育论坛司法人事全国人民代表大会科学未分类网站链接

📞 联系方式

网站: http://dl.acm.org/citation.cfm?id=317908&coll=portal&dl=ACM

👁️ 0 次浏览 🔗 0 次点击

✉️ 发送咨询

📤 分享

Facebook Twitter WhatsApp Email 📩 告诉朋友

🚩 举报此条目