共 50 条
- [31] NSEDIT - A SYNTAX-DIRECTED EDITOR AND TESTING TOOL BASED ON NASSI-SHNEIDERMAN CHARTS SOFTWARE-PRACTICE & EXPERIENCE, 1988, 18 (10): : 987 - 998
- [32] Syntax-directed model checking of sequential programs JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2002, 52-3 : 129 - 162
- [35] Syntax-directed construction of Value Dependence Graphs IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE, PROCEEDINGS: SYSTEMS AND SOFTWARE EVOLUTION IN THE ERA OF THE INTERNET, 2001, : 692 - 703
- [37] PROPERTIES OF STOCHASTIC SYNTAX-DIRECTED TRANSLATION SCHEMATA INTERNATIONAL JOURNAL OF COMPUTER & INFORMATION SCIENCES, 1979, 8 (02): : 89 - 110
- [38] Syntax-Directed Keyboard Extension: Evolution and Evaluation 2017 IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN-CENTRIC COMPUTING (VL/HCC), 2017, : 285 - 289
- [39] SYNTAX-DIRECTED PROCESSING OF TEXTS WITH ACTION SEMANTICS CYBERNETICA, 1980, 23 (02): : 157 - 175