共 50 条
- [2] Denotational Semantics of the XML-λ Query Language PROCEEDINGS OF THE DATESO 2010 WORKSHOP - DATESO DATABASES, TEXTS, SPECIFICATIONS, AND OBJECTS, 2010, 567 : 139 - 146
- [3] SEMANTICS OF QUERY LANGUAGES NAUCHNO-TEKHNICHESKAYA INFORMATSIYA SERIYA 2-INFORMATSIONNYE PROTSESSY I SISTEMY, 1984, (02): : 30 - 31
- [4] Equivalence of Denotational and Operational Semantics for Interaction Languages THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, TASE 2022, 2022, 13299 : 113 - 130
- [6] On denotational semantics of the complex event query language STeCEQL Li, Huiyong, 1600, Transport and Telecommunication Institute, Lomonosova street 1, Riga, LV-1019, Latvia (18):
- [7] A Methodology for Concurrent Languages Development based on Denotational Semantics 11TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING (SYNASC 2009), 2009, : 290 - 298
- [9] Denotational Cost Semantics for Functional Languages with Inductive Types PROCEEDINGS OF THE 20TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON FUNCTIONAL PROGRAMMING (ICFP'15), 2015, : 140 - 151