保存此搜索
不写,但返回:在C-to-Rust转换中用代数数据类型替换输出参数 将遗留系统程序从C转换为Rust是提高其可靠性的一种很有希望的方法。 为了减轻手动翻译的负担,需要自动的C到Rust翻译。 然而,现有的翻译器无法完全生成Rust代码。。。 研究文章 2023年7月 利用静态分析改进C到Rust的自动翻译 虽然在系统编程中很流行,但C语言因其糟糕的语言级安全机制而臭名昭著,导致了严重的错误和漏洞。 尽管通过了类型检查,C程序仍然可能存在内存和线程错误。 要解决这个问题-。。。 Concrat:一种用于并发程序的自动C-to-Rust锁API转换器 并发程序受到数据竞争的影响。 为了防止数据争用,程序员使用锁。 然而,程序只有在正确的时间获得并释放正确的锁时才能消除数据争用。 C语言的锁API,人们在其中开发了。。。 研究文章 2023年5月 基于二进制反编译的JNI程序静态分析 由于C和Java程序的共同优点,JNI程序被广泛使用。 然而,由于理解两种不同编程语言之间的交互行为具有挑战性,JNI程序开发很难正确进行,而且。。。 研究文章 2023年1月 重写规则的语义转换框架 保持语义的源到源程序转换,如优化和重构,对于软件开发至关重要。 这种转换通常由 重写规则 描述必须替换程序的哪个部分。。。 -
研究文章 2019年1月 具有方差的多态对称多重调度 许多面向对象的语言都提供了方法重载,允许多个同名的方法声明。 对于给定的方法调用,为了选择要调用的方法声明,多重分派考虑运行时类型。。。 研究文章 2018年9月 具有路径质量的路径相关类型 虽然Scala类型系统提供了诸如带有类型成员的对象之类的表达性功能,但路径相关类型之间缺乏相等性检查,这妨碍了一些编程习惯用法。 一个这样的例子是在实现。。。