Trust in the Pi-Calculus

著录项

• 来源
  《3rd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP'01), Sep 5-7, 2001, Florence, Italy》|2001年|p.103-114|共12页
• 会议地点 Florence(IT);Florence(IT)
• 作者

  Mark Hepburn; David Wright;

  展开▼
• 作者单位

  School of Computing, University of Tasmania GPO Box 252-100 Hobart, Tasmania Australia, 7001;

  展开▼
• 会议组织
• 原文格式 PDF
• 正文语种 eng
• 中图分类 自动化技术、计算机技术;
• 关键词

  π-calculus; trust analysis; runtime coercion; type annotations;

  机译：π演算;信任分析；运行时强制类型注释;