南出靖彦: "A New Criterion for Safe Program Transformations"Proc.The Forth International Worshop on Higher Order Operational Techniques Semantics. 15 (2000)
南出靖彦: "A New Criterion for Safe Program Transformations"Proc.The Forth International Worshop on Higher Order Operational Techniques Semantics. 15 (2000)
复制标题
Yasuhiko Minamide：“安全程序转换的新标准”Proc.第四届高阶运算技术语义国际研讨会 15 (2000)。
DOI：
--
复制
发表时间：
--
期刊：
影响因子：
--
通讯作者：
中科院分区：
文献类型：
--
作者：
