共 1 条
- [1] Matthews Jacob, 2007, POPL 2007. The 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, P3, DOI 10.1145/1190216.1190220
Semantic Soundness for Language Interoperability
被引：0
作者：
Ahmed, Amal
[1
]
机构：
[1] Northeastern Univ, Boston, MA 02115 USA
来源：
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE
|
2021年
/
339期
基金：
美国国家科学基金会;
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页数：2
相关论文