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 )2016 share record
persistent URL:
Gerard Ekembe Ngondi : Denotational semantics of mobility in Unifying Theories of Programming (UTP). University of York, UK, 2016 share record
persistent URL:
Rasmus Ejlers Møgelberg , Marco Paviotti : Denotational semantics of recursive types in synthetic guarded domain theory. LICS 2016 : 317-326 share record
persistent URL:
Simona Ronchi Della Rocca : Intersection Types and Denotational Semantics: An Extended Abstract (Invited Paper). TYPES 2016 : 2:1-2:7 share record
persistent URL:
Siqi Li , Eric Madelaine : A Denotational Semantics for Parameterised Networks of Synchronised Automata. UTP 2016 : 93-113 share record
persistent URL:
Ken Akiba : Denotational Semantics of the Simplified Lambda-Mu Calculus and a New Deduction System of Classical Type Theory. CL&C 2016 : 11-23 2015 export record
dblp key:
journals/acta/AguadoMHF15 share record
persistent URL:
Joaquín Aguado , Michael Mendler , Reinhard von Hanxleden , Insa Fuhrmann : Denotational fixed-point semantics for constructive scheduling of synchronous concurrency. Acta Informatica 52 (4-5 ) : 393-442 (2015 )share record
persistent URL:
Huibiao Zhu , Jifeng He , Shengchao Qin , Phillip J. Brooke : Denotational semantics and its algebraic derivation for an event-driven system-level language. Formal Aspects Comput. 27 (1 ) : 133-166 (2015 )export record
dblp key:
journals/sLogica/Lewitzka15 share record
persistent URL:
Steffen Lewitzka : Denotational Semantics for Modal Systems S3-S5 Extended by Axioms for Propositional Quantifiers and Identity. Stud Logica 103 (3 ) : 507-544 (2015 )export record
dblp key:
journals/tplp/AguadoCPPV15 share record
persistent URL:
Felicidad Aguado , Pedro Cabalar , David Pearce , Gilberto Pérez , Concepción Vidal : A denotational semantics for equilibrium logic. Theory Pract. Log. Program. 15 (4-5 ) : 620-634 (2015 )share record
persistent URL:
Yanhong Huang , Yongxin Zhao , Shengchao Qin , Jifeng He : Probabilistic Denotational Semantics for an Interrupt Modelling Language. ICECCS 2015 : 160-169 share record
persistent URL:
Norman Danner , Daniel R. Licata , Ramyaa : Denotational cost semantics for functional languages with inductive types. ICFP 2015 : 140-151 share record
persistent URL:
Leonardo Rodríguez : An Intrinsic Denotational Semantics for a Lazy Functional Language. SBLP 2015 : 75-80 share record
persistent URL:
Nils Jähnig , Thomas Göthel , Sabine Glesner : A Denotational Semantics for Communicating Unstructured Code. FESCA 2015 : 9-21 export record
dblp key:
journals/corr/AguadoCPPV15 share record
persistent URL:
Felicidad Aguado , Pedro Cabalar , David Pearce , Gilberto Pérez , Concepción Vidal : A Denotational Semantics for Equilibrium Logic. CoRR abs/1507.06915 (2015 )share record
persistent URL:
Norman Danner , Daniel R. Licata , Ramyaa Ramyaa : Denotational cost semantics for functional languages with inductive types. CoRR abs/1506.01949 (2015 )2014 share record
persistent URL:
Steffen Lösch , Andrew M. Pitts : Denotational Semantics with Nominal Scott Domains. J. ACM 61 (4 ) : 27:1-27:46 (2014 )share record
persistent URL:
Hai-Feng Guo , Liang Cao , Yushu Song , Zongyan Qiu : Automated Test Oracle Generation via Denotational Semantics. QSIC 2014 : 139-144 share record
persistent URL:
Alice Lai , Julia Hockenmaier : Illinois-LH: A Denotational and Distributional Approach to Semantics. SemEval@COLING 2014 : 329-334 2013 export record
dblp key:
conf/popl/VytiniotisJCR13 share record
persistent URL:
Dimitrios Vytiniotis , Simon L. Peyton Jones , Koen Claessen , Dan Rosén : HALO: haskell to logic through denotational semantics. POPL 2013 : 431-442 share record
persistent URL:
Richard A. Frost , Bryan St. Amour , Randy J. Fortier : An Event Based Denotational Semantics for Natural Language Queries to Data Represented in Triple Stores. ICSC 2013 : 142-145 share record
persistent URL:
Hengyang Wu , Yixiang Chen , Min Zhang : On Denotational Semantics of Spatial-Temporal Consistency Language - STeC. TASE 2013 : 113-120 export record
dblp key:
journals/corr/MercadalDC13 share record
persistent URL:
Julien Mercadal , Zoé Drey , Charles Consel : Denotational Semantics of A User-Oriented, Domain-Specific Language. Festschrift for Dave Schmidt 2013 : 229-249 export record
dblp key:
journals/corr/abs-1304-6983 share record
persistent URL:
Steffen Lewitzka : A denotational semantics for a Lewis-style modal system close to S1. CoRR abs/1304.6983 (2013 )2012 export record
dblp key:
journals/corr/abs-1205-0126 share record
persistent URL:
Matteo Mio : On the equivalence of game and denotational semantics for the probabilistic mu-calculus. Log. Methods Comput. Sci. 8 (2 ) (2012 )share record
persistent URL:
Huibiao Zhu , Jeff W. Sanders , Jifeng He , Shengchao Qin : Denotational Semantics for a Probabilistic Timed Shared-Variable Language. UTP 2012 : 224-247 export record
dblp key:
journals/corr/abs-1212-6576 share record
persistent URL:
Steffen Lewitzka : Denotational semantics for normal modal logics with propositional quantifiers and identity. CoRR abs/1212.6576 (2012 )2011 export record
dblp key:
journals/fac/Butterfield11 share record
persistent URL:
Andrew Butterfield : A denotational semantics for Handel-C. Formal Aspects Comput. 23 (2 ) : 153-170 (2011 )export record
dblp key:
journals/ijcm/RomagueraSV11 share record
persistent URL:
Salvador Romaguera , Michel P. Schellekens , Óscar Valero : The complexity space of partial functions: a connection between complexity analysis and denotational semantics. Int. J. Comput. Math. 88 (9 ) : 1819-1829 (2011 )export record
dblp key:
conf/ispdc/TodoranABPRSVZ11 share record
persistent URL:
Eneia Nicolae Todoran , Claudiu Adam , Mirel Balc , Radu Pop , Razvan Radu , Dorin Simina , Emanuel Varga , Dan Andrei Zaharia : Mobile Objects and Modern Communication Abstractions: Design Issues and Denotational Semantics. ISPDC 2011 : 191-198