共 50 条
- [23] A PROGRAMMING LOGIC FOR A VERIFIED STRUCTURED ASSEMBLY LANGUAGE LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 624 : 403 - 408
- [24] Simulation of Structured Text Language for PLC Programming PROCEEDINGS OF 2015 3RD EXPERIMENT AT INTERNATIONAL CONFERENCE (EXP AT'15), 2015, : 296 - 301
- [29] Abstract machines for programming language implementation FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE, 2000, 16 (07): : 739 - 751
- [30] GPSL: A programming language for service implementation FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS, 2006, 3922 : 3 - 17