共 50 条
- [3] THE VERIFICATION OF THE PROTECTION MECHANISMS OF HIGH-LEVEL LANGUAGE MACHINES INTERNATIONAL JOURNAL OF COMPUTER & INFORMATION SCIENCES, 1983, 12 (04): : 211 - 246
- [5] VALID, A HIGH-LEVEL FUNCTIONAL PROGRAMMING LANGUAGE FOR DATA FLOW MACHINES REVIEW OF THE ELECTRICAL COMMUNICATIONS LABORATORIES, 1984, 32 (05): : 793 - 802
- [10] HIGH-LEVEL COMPILING FOR LOW-LEVEL MACHINES IFIP TRANSACTIONS A-COMPUTER SCIENCE AND TECHNOLOGY, 1993, 23 : 309 - 320