share record
persistent URL:
Andrzej Blikle : An Experiment with Denotational Semantics. SN Comput. Sci. 1 (1 ) : 15:1-15:31 (2020 )export record
dblp key:
journals/corr/abs-2002-07262 share record
persistent URL:
Norman Danner , Daniel R. Licata : Denotational semantics as a foundation for cost recurrence extraction for functional languages. CoRR abs/2002.07262 (2020 )export record
dblp key:
journals/corr/abs-2004-01709 share record
persistent URL:
Bassel Mannaa , Rasmus Ejlers Møgelberg , Niccolò Veltri : Ticking clocks as dependent right adjoints: Denotational semantics for clocked type theory. CoRR abs/2004.01709 (2020 )2019 export record
dblp key:
journals/jlap/Dabrowski19 share record
persistent URL:
Frédéric Dabrowski : A denotational semantics of textually aligned SPMD programs. J. Log. Algebraic Methods Program. 108 : 90-104 (2019 )export record
dblp key:
journals/lmcs/KavanaghB19 share record
persistent URL:
Ryan Kavanagh , Stephen Brookes : A Denotational Semantics for SPARC TSO. Log. Methods Comput. Sci. 15 (2 ) (2019 )export record
dblp key:
journals/mscs/MogelbergP19 share record
persistent URL:
Rasmus Ejlers Møgelberg , Marco Paviotti : Denotational semantics of recursive types in synthetic guarded domain theory. Math. Struct. Comput. Sci. 29 (3 ) : 465-510 (2019 )share record
persistent URL:
Patrick Cousot : On Fixpoint/Iteration/Variant Induction Principles for Proving Total Correctness of Programs with Denotational Semantics. LOPSTR 2019 : 3-18 share record
persistent URL:
Diego Marmsoler : A Denotational Semantics for Dynamic Architectures. TASE 2019 : 136-143 share record
persistent URL:
Bernhard K. Aichernig : A Testing Perspective on Algebraic, Denotational, and Operational Semantics. UTP 2019 : 22-38 share record
persistent URL:
Di Wang , Jan Hoffmann , Thomas W. Reps : A Denotational Semantics for Low-Level Probabilistic Programs with Nondeterminism. MFPS 2019 : 303-324 export record
dblp key:
journals/corr/abs-1905-01469 share record
persistent URL:
Blikle Andrzej : An experiment with denotational semantics. CoRR abs/1905.01469 (2019 )export record
dblp key:
journals/corr/abs-1905-12444 share record
persistent URL:
Andrzej Blikle : An Experiment with a User Manual of a Programming Language Based on a Denotational Semantics. CoRR abs/1905.12444 (2019 )export record
dblp key:
journals/corr/abs-1906-05593 share record
persistent URL:
Thomas Ehrhard , Farzad Jafar-Rahmani : On the denotational semantics of Linear Logic with least and greatest fixed points of formulas. CoRR abs/1906.05593 (2019 )2018 share record
persistent URL:
Daniel de Carvalho : Execution time of λ-terms via denotational semantics and intersection types. Math. Struct. Comput. Sci. 28 (7 ) : 1169-1203 (2018 )share record
persistent URL:
Dilian Gurov , Jonas Westman : A Hoare Logic Contract Theory: An Exercise in Denotational Semantics. Principled Software Development 2018 : 119-127 share record
persistent URL:
Federico Flaviani : Inference of the Definition of the Predicate Transformer wp with Occurrences of the Predicate Domain Based on Denotational Semantics of GCL on ZF Set Theory. CLEI 2018 : 749-758 share record
persistent URL:
Nitish Gupta , Mike Lewis : Neural Compositional Denotational Semantics for Question Answering. EMNLP 2018 : 2152-2161 export record
dblp key:
conf/ieeehpcs/Dabrowski18 share record
persistent URL:
Frédéric Dabrowski : A Denotational Semantics of Textually Aligned SPMD Programs. HPCS 2018 : 732-739 share record
persistent URL:
Mathieu Montin , Marc Pantel : Mechanizing the Denotational Semantics of the Clock Constraint Specification Language. MEDI 2018 : 385-400 share record
persistent URL:
Bassel Mannaa , Rasmus Ejlers Møgelberg : The Clocks They Are Adjunctions Denotational Semantics for Clocked Type Theory. FSCD 2018 : 23:1-23:17 export record
dblp key:
journals/entcs/KavanaghB18 share record
persistent URL:
Ryan Kavanagh , Stephen Brookes : A Denotational Semantics for SPARC TSO. MFPS 2018 : 223-239 export record
dblp key:
journals/corr/abs-1802-03744 share record
persistent URL:
Ales Bizjak , Rasmus Ejlers Møgelberg : Denotational semantics for guarded dependent type theory. CoRR abs/1802.03744 (2018 )export record
dblp key:
journals/corr/abs-1804-06687 share record
persistent URL:
Bassel Mannaa , Rasmus Ejlers Møgelberg : The clocks they are adjunctions: Denotational semantics for Clocked Type Theory. CoRR abs/1804.06687 (2018 )export record
dblp key:
journals/corr/abs-1805-00289 share record
persistent URL:
Rasmus Ejlers Møgelberg , Marco Paviotti : Denotational semantics of recursive types in synthetic guarded domain theory. CoRR abs/1805.00289 (2018 )export record
dblp key:
journals/corr/abs-1808-09942 share record
persistent URL:
Nitish Gupta , Mike Lewis : Neural Compositional Denotational Semantics for Question Answering. CoRR abs/1808.09942 (2018 )export record
dblp key:
journals/corr/abs-1812-00089 share record
persistent URL:
In-Ho Yi : Parametric Denotational Semantics for Extensible Language Definition and Program Analysis. CoRR abs/1812.00089 (2018 )2017 share record
persistent URL:
Dirk Draheim : Semantics of the Probabilistic Typed Lambda Calculus - Markov Chain Semantics, Termination Behavior, and Denotational Semantics. Springer 2017 , ISBN 978-3-642-55197-0 , pp. 1-218export record
dblp key:
journals/igpl/AguadoACPV17 share record
persistent URL:
Felicidad Aguado , Pablo Ascariz , Pedro Cabalar , Gilberto Pérez , Concepción Vidal : Verification for ASP denotational semantics: A case study using the PVS theorem prover. Log. J. IGPL 25 (2 ) : 195-213 (2017 )share record
persistent URL:
Gabriel Ciobanu , Eneia Nicolae Todoran : Denotational semantics of membrane systems by using complete metric spaces. Theor. Comput. Sci. 701 : 85-108 (2017 )export record
dblp key:
journals/corr/abs-1711-00931 share record
persistent URL:
Ryan Kavanagh , Stephen Brookes : A Denotational Semantics for SPARC TSO. CoRR abs/1711.00931 (2017 )