共 50 条
- [1] SEMANTICS OF PROGRAM LANGUAGES AND GLOBAL INTERPRETATION OF EXPRESSIONS [J]. COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES SERIE A, 1971, 273 (25): : 1271 - &
- [2] DENOTATIONAL SEMANTICS OF PROGRAMMING LANGUAGES [J]. COMMUNICATIONS OF THE ACM, 1976, 19 (08) : 437 - 453
- [5] Modular rewriting semantics of programming languages [J]. ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY: PROCEEDINGS, 2004, 3116 : 364 - 378
- [6] COMPOSITION SEMANTICS OF PROGRAMMING-LANGUAGES [J]. PROGRAMMING AND COMPUTER SOFTWARE, 1982, 8 (06) : 306 - 314
- [7] CATEGORICAL SEMANTICS FOR PROGRAMMING-LANGUAGES [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1990, 442 : 402 - 417
- [8] ON THE SEMANTICS OF LOGIC PROGRAMMING-LANGUAGES [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1986, 225 : 327 - 334
- [10] Graph rewriting semantics for functional programming languages [J]. COMPUTER SCIENCE LOGIC, 1997, 1258 : 106 - 128