共 50 条
- [3] A Language for Automatically Enforcing Privacy Policies POPL 12: PROCEEDINGS OF THE 39TH ANNUAL ACM SIGPLAN-SIGACT SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES, 2012, : 85 - 96
- [5] Automatically Enforcing Rust Trait Properties VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2024, PT II, 2024, 14500 : 210 - 223
- [6] Inferring network invariants automatically AUTOMATED REASONING, PROCEEDINGS, 2006, 4130 : 483 - 497
- [7] Inferring and Enforcing Relative Constraints in SLAM ALGORITHMIC FOUNDATION OF ROBOTICS VII, 2008, 47 : 139 - 154
- [8] AUTOMATICALLY INFERRING METRICS FOR DESIGN CREATIVITY PROCEEDINGS OF THE ASME INTERNATIONAL DESIGN ENGINEERING TECHNICAL CONFERENCES AND COMPUTERS AND INFORMATION IN ENGINEERING CONFERENCE, 2013, VOL 5, 2014,
- [9] Automatically Enforcing Fresh and Consistent Inputs in Intermittent Systems PROCEEDINGS OF THE 42ND ACM SIGPLAN INTERNATIONAL CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION (PLDI '21), 2021, : 851 - 866