formal logic; theorem proving; program verification; logic programming; digital signatures; programming language semantics; proof-carrying code; BLF; authorization logic; Binder language; logical framework; program semantics; digital signature;
机译:ANZPIC注册表诊断代码:一种用于编码原因允许儿童接受重症监护的系统。
机译:日本患者遭遇疾病/健康问题的原因与人口密度之间的关系:对国际基层医疗卫生问题分类(ICHPPC)和国际基层医疗分类(ICPC)编码的观察性研究的系统评价
机译:日本患者遭遇疾病/健康问题的原因与人口密度之间的关系:对国际基层医疗卫生问题分类(ICHPPC)和国际基层医疗分类(ICPC)编码的观察性研究的系统评价
机译:通过原因和权限:授权验证代码的系统
机译:结合使用理由和授权来验证代码。
机译:日本患者遭遇疾病/健康问题的原因与人口密度之间的关系:对国际基层医疗卫生问题分类(ICHPPC)和国际基层医疗分类(ICPC)编码的观察性研究的系统评价
机译:通过理由和权限:验证代码授权系统
机译:pCaL:证明携带授权系统的语言支持