K框架相关硕士博士期刊学术论文 - 搜论网

K框架相关论文

一种统一的基于操作语义的程序动态更新验证方法

软件动态更新(Dynamic Software Updating,DSU)是一种高效的软件更新方式。传统的软件更新方式是先将正在运行中的软件关闭,然后安......

学位

软件动态更新操作语义 K框架形式化方法验证

KRust:Rust形式化可执行语义

Rust是新兴的系统级编程语言,旨在提供内存安全的同时保证极高的性能。Rust形式化语义是用来证明其内存安全和开发Rust程序分析工......

期刊

编程语言 Rust 语义 K框架

看过本文同时还关注