共 50 条
- [5] High-Level Cryptographic Abstractions PROCEEDINGS OF THE 14TH ACM SIGSAC WORKSHOP ON PROGRAMMING LANGUAGES AND ANALYSIS FOR SECURITY (PLAS '19), 2019, : 31 - 43
- [6] High-level data parallel programming in promoter SECOND INTERNATIONAL WORKSHOP ON HIGH-LEVEL PARALLEL PROGRAMMING MODELS AND SUPPORTIVE ENVIRONMENTS, PROCEEDINGS, 1997, : 47 - 54
- [7] TrafficModeler: A Graphical Tool for Programming Microscopic Traffic Simulators through High-level Abstractions 2009 IEEE VEHICULAR TECHNOLOGY CONFERENCE, VOLS 1-5, 2009, : 2032 - 2036
- [8] High-level nondeterministic abstractions in C++ PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING - CP 2006, 2006, 4204 : 359 - 374
- [9] Tapeworm: High-level abstractions of shared accesses USENIX ASSOCIATION PROCEEDINGS OF THE THIRD SYMPOSIUM ON OPERATING SYSTEMS DESIGN AND IMPLEMENTATION (OSDI '99), 1999, : 201 - 214
- [10] POINTERS AND DATA ABSTRACTIONS IN HIGH-LEVEL LANGUAGES .2. CORRECTNESS PROOFS COMPUTER LANGUAGES, 1977, 2 (04): : 149 - 170