共 50 条
- [4] Pointers in framing projection temporal logic programming languages Xi'an Dianzi Keji Daxue Xuebao/Journal of Xidian University, 2008, 35 (06): : 1069 - 1074
- [6] A Relational Program Logic with Data Abstraction and Dynamic Framing ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2022, 44 (04):
- [8] Framing the margins: The social logic of postmodernism - Harper,PB AMERICAN STUDIES INTERNATIONAL, 1996, 34 (02): : 114 - 115