共 50 条
- [2] Simulation and validation of high-level abstract state machine specifications ESM'99 - MODELLING AND SIMULATION: A TOOL FOR THE NEXT MILLENNIUM, VOL II, 1999, : 463 - 465
- [3] EVALUATING THE PERFORMANCE OF A COMPUTER WITH A HIGH-LEVEL MACHINE LANGUAGE CYBERNETICS, 1985, 21 (02): : 199 - 207
- [4] QUANTITATIVE-EVALUATION OF A HIGH-LEVEL LANGUAGE MACHINE NEC RESEARCH & DEVELOPMENT, 1978, (50): : 30 - 41
- [5] DESIGN OF A COBOL ORIENTED HIGH-LEVEL LANGUAGE MACHINE NEC RESEARCH & DEVELOPMENT, 1980, (57): : 29 - 38
- [6] REALIZATION AND EVALUATION OF PASCAL MACHINE ON A HIGH-LEVEL LANGUAGE-ORIENTED STACK MACHINE. Systems, computers, controls, 1983, 14 (04): : 1 - 9
- [9] POLYMORPHIC PROGRAMMING .2. AN ORTHOGONAL TAGGED HIGH-LEVEL ARCHITECTURE ABSTRACT MACHINE SOFTWARE-PRACTICE & EXPERIENCE, 1984, 14 (11): : 1021 - 1046
- [10] USE OF THE HIGH-LEVEL LANGUAGE TEKHNOLOG FOR NC SYSTEMS OF MACHINE-TOOLS SOVIET ENGINEERING RESEARCH, 1987, 7 (06): : 54 - 56