2024 export record
dblp key:
journals/pacmpl/FruminTB24 share record
persistent URL:
Dan Frumin , Amin Timany , Lars Birkedal : Modular Denotational Semantics for Effects with Guarded Interaction Trees. Proc. ACM Program. Lang. 8 (POPL ) : 332-361 (2024 )share record
persistent URL:
Erwan Mahe , Christophe Gaston , Pascale Le Gall : Denotational and operational semantics for interaction languages: Application to trace analysis. Sci. Comput. Program. 232 : 103034 (2024 )share record
persistent URL:
Jonathan Sterling , Daniel Gratzer , Lars Birkedal : Towards Univalent Reference Types: The Impact of Univalence on Denotational Semantics. CSL 2024 : 47:1-47:21 export record
dblp key:
journals/corr/abs-2404-05459 share record
persistent URL:
Qinxiang Cao , Xiwei Wu , Yalun Liang : A Coq Library of Sets for Teaching Denotational Semantics. CoRR abs/2404.05459 (2024 )2023 share record
persistent URL:
Bartosz Zielinski : Explanatory Denotational Semantics for Complex Event Patterns. Formal Aspects Comput. 35 (4 ) : 23:1-23:37 (2023 )share record
persistent URL:
Xiong Xu , Bohua Zhan , Shuling Wang , Jean-Pierre Talpin , Naijun Zhan : A denotational semantics of Simulink with higher-order UTP. J. Log. Algebraic Methods Program. 130 : 100809 (2023 )share record
persistent URL:
Erik Voogd , Åsmund Aqissiaq Arild Kløvstad , Einar Broch Johnsen : Denotational Semantics for Symbolic Execution. ICTAC 2023 : 370-387 share record
persistent URL:
Yue Niu , Robert Harper : A Metalanguage for Cost-Aware Denotational Semantics. LICS 2023 : 1-14 export record
dblp key:
journals/corr/abs-2302-10576 share record
persistent URL:
Michael Färber : Denotational Semantics and a Fast Interpreter for jq. CoRR abs/2302.10576 (2023 )export record
dblp key:
journals/corr/abs-2307-08514 share record
persistent URL:
Dan Frumin , Amin Timany , Lars Birkedal : Modular Denotational Semantics for Effects with Guarded Interaction Trees. CoRR abs/2307.08514 (2023 )export record
dblp key:
journals/corr/abs-2312-16694 share record
persistent URL:
Cristina Matache , Sean K. Moss , Sam Staton , Ariadne Si Suo : Denotational semantics for languages for inference: semirings, monads, and tensors. CoRR abs/2312.16694 (2023 )2022 share record
persistent URL:
Norman Danner , Daniel R. Licata : Denotational semantics as a foundation for cost recurrence extraction for functional languages. J. Funct. Program. 32 : e8 (2022 )export record
dblp key:
journals/sLogica/dAragona22 share record
persistent URL:
Antonio Piccolomini d'Aragona : Denotational Semantics for Languages of Epistemic Grounding Based on Prawitz's Theory of Grounds. Stud Logica 110 (2 ) : 355-403 (2022 )share record
persistent URL:
Ran Li , Huibiao Zhu , Richard Banach : Denotational and Algebraic Semantics for Cyber-physical Systems. ICECCS 2022 : 123-132 share record
persistent URL:
Jiaqi Yin , Huibiao Zhu : The Operational and Denotational Semantics of rMECal Calculus for Mobile Edge Computing. ICECCS 2022 : 133-142 share record
persistent URL:
Ningning Chen , Huibiao Zhu : Denotational and Algebraic Semantics for the CaIT Calculus. ICTAC 2022 : 132-150 share record
persistent URL:
Erwan Mahe , Christophe Gaston , Pascale Le Gall : Equivalence of Denotational and Operational Semantics for Interaction Languages. TASE 2022 : 113-130 export record
dblp key:
journals/corr/abs-2208-03243 share record
persistent URL:
Norman Danner : Recurrence extraction and denotational semantics with recursive definitions. CoRR abs/2208.03243 (2022 )export record
dblp key:
journals/corr/abs-2209-12669 share record
persistent URL:
Yue Niu , Robert Harper : A metalanguage for cost-aware denotational semantics. CoRR abs/2209.12669 (2022 )export record
dblp key:
journals/corr/abs-2210-02169 share record
persistent URL:
Jonathan Sterling , Daniel Gratzer , Lars Birkedal : Denotational semantics of general store and polymorphism. CoRR abs/2210.02169 (2022 )2021 share record
persistent URL:
Gerard Ekembe Ngondi : Denotational semantics of channel mobility in UTP-CSP. Formal Aspects Comput. 33 (4-5 ) : 803-826 (2021 )share record
persistent URL:
Diego Marmsoler , Achim D. Brucker : A Denotational Semantics of Solidity in Isabelle/HOL. SEFM 2021 : 403-422 export record
dblp key:
journals/corr/abs-2104-06016 share record
persistent URL:
Guillaume Geoffroy : Extensional Denotational Semantics of Higher-Order Probabilistic Programs, Beyond the Discrete Case. CoRR abs/2104.06016 (2021 )export record
dblp key:
journals/corr/abs-2104-09115 share record
persistent URL:
Matteo Acclavio , Davide Catta , Lutz Straßburger : Towards a Denotational Semantics for Proofs in Constructive Modal Logic. CoRR abs/2104.09115 (2021 )export record
dblp key:
journals/corr/abs-2108-12348 share record
persistent URL:
Marco Comini , María-del-Mar Gallardo , Alicia Villanueva : A denotational semantics for PROMELA addressing arbitrary jumps. CoRR abs/2108.12348 (2021 )export record
dblp key:
journals/corr/abs-2111-15456 share record
persistent URL:
Alexander K. Lew , Mathieu Huot , Vikash K. Mansinghka : Towards Denotational Semantics of AD for Higher-Order, Recursive, Probabilistic Languages. CoRR abs/2111.15456 (2021 )2020 share record
persistent URL:
Federico Olimpieri : Intersection Types and Resource Calculi in the Denotational Semantics of λ-Calculus. (Types intersection et calculs avec ressources dans la sémantique dénotationnelle du λ-calcul). Aix-Marseille University, France, 2020 share record
persistent URL:
Feng Sheng , Huibiao Zhu , Jifeng He , Zongyuan Yang , Jonathan P. Bowen : Theoretical and Practical Approaches to the Denotational Semantics for MDESL based on UTP. Formal Aspects Comput. 32 (2-3 ) : 275-314 (2020 )share record
persistent URL:
Bassel Mannaa , Rasmus Ejlers Møgelberg , Niccolò Veltri : Ticking clocks as dependent right adjoints: Denotational semantics for clocked type theory. Log. Methods Comput. Sci. 16 (4 ) (2020 )share record
persistent URL:
Ales Bizjak , Rasmus Ejlers Møgelberg : Denotational semantics for guarded dependent type theory. Math. Struct. Comput. Sci. 30 (4 ) : 342-378 (2020 )