共 50 条
- [2] Separation logic: A logic for shared mutable data structures 17TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2002, : 55 - 74
- [3] Mutable terms in a tabled logic programming system LOGIC PROGRAMMING: PROCEEDINGS OF THE 1999 INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING, 1999, : 305 - 319
- [10] Magnetic memories: From DRAM replacement to ultra low power logic chips 2014 DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION (DATE), 2014,