共 50 条
- [1] A REWRITING SEMANTICS FOR PROGRAM DEPENDENCE GRAPHS CONFERENCE RECORD OF THE SIXTEENTH ANNUAL ACM SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES, 1989, : 12 - 24
- [2] A REWRITING LOGIC SEMANTICS APPROACH TO MODULAR PROGRAM ANALYSIS PROCEEDINGS OF THE 21ST INTERNATIONAL CONFERENCE ON REWRITING TECHNIQUES AND APPLICATIONS (RTA'10), 2010, 6 : 151 - 160
- [3] From Rewriting Logic, to Programming Language Semantics, to Program Verification LOGIC, REWRITING, AND CONCURRENCY, 2015, 9200 : 598 - 616
- [4] The rewriting calculus as a semantics of ELAN ADVANCES IN COMPUTING SCIENCE-ASIAN' 98, 1998, 1538 : 84 - 85
- [5] Localized fairness: A rewriting semantics TERM REWRITING AND APPLICATIONS, PROCEEDINGS, 2005, 3467 : 250 - 263