Structural Information Flow: A Fresh Look at Types for Non-interference结构化信息流：对非干扰类型的全新审视PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPLIF2.82025-10-010PRE
Technical Perspective How Do Experts Learn New Programming Languages?COMMUNICATIONS OF THE ACMIF12.22022-02-230OA
PENROSE: From Mathematical Notation to Beautiful DiagramsACM TRANSACTIONS ON GRAPHICSIF9.52020-08-1226OAAI
A case study in re-engineering to enforce architectural control flow and data sharingJOURNAL OF SYSTEMS AND SOFTWAREIF4.12007-02-018OAAI
Discovering architectures from running systemsIEEE TRANSACTIONS ON SOFTWARE ENGINEERINGIF5.62006-07-0161PREAI
未登录.png){kind=icon}
未登录
