共 50 条
- [21] CPP denotational semantics THIRD IEEE INTERNATIONAL WORKSHOP ON SOURCE CODE ANALYSIS AND MANIPULATION - PROCEEDINGS, 2003, : 22 - 31
- [24] A DENOTATIONAL SEMANTICS FOR PROLOG ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1989, 11 (04): : 650 - 665
- [27] Denotational Semantics for Languages of Epistemic Grounding Based on Prawitz’s Theory of Grounds Studia Logica, 2022, 110 : 355 - 403
- [28] Why denotational? Remarks on applied denotational semantics Fundamenta Informaticae, 1996, 28 (1-2): : 55 - 85