Results 1 to 10 of about 228,589 (202)
On 0-Complete Partial Metric Spaces and Quantitative Fixed Point Techniques in Denotational Semantics [PDF]
Abstract and Applied Analysis, 2013 In 1994, Matthews introduced the notion of partial metric space with the aim of providing a quantitative mathematical model suitable for program verification.
N. Shahzad, O. Valero
doaj +3 more sources
A Denotational Semantics for Communicating Unstructured Code [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 An important property of programming language semantics is that they should be compositional. However, unstructured low-level code contains goto-like commands making it hard to define a semantics that is compositional. In this paper, we follow the ideas
Nils Jähnig +2 more
doaj +10 more sources
A Denotational Semantics for SPARC TSO [PDF]
Logical Methods in Computer Science, 2019 The SPARC TSO weak memory model is defined axiomatically, with a non-compositional formulation that makes modular reasoning about programs difficult.
Ryan Kavanagh, Stephen Brookes
doaj +3 more sources
Denotational cost semantics for functional languages with inductive types [PDF]
ACM SIGPLAN International Conference on Functional Programming, 2015 A central method for analyzing the asymptotic complexity of a functional program is to extract and then solve a recurrence that expresses evaluation cost in terms of input size.
Norman Danner +2 more
semanticscholar +5 more sources
On the equivalence of game and denotational semantics for the probabilistic mu-calculus [PDF]
Logical Methods in Computer Science, 2012 The probabilistic (or quantitative) modal mu-calculus is a fixed-point logic de- signed for expressing properties of probabilistic labeled transition systems (PLTS).
Matteo Mio
doaj +3 more sources
Semantics-based Automated Web Testing [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 We present TAO, a software testing tool performing automated test and oracle generation based on a semantic approach. TAO entangles grammar-based test generation with automated semantics evaluation using a denotational semantics framework.
Hai-Feng Guo, Qing Ouyang, Harvey Siy
doaj +5 more sources
Quantum Alternation: Prospects and Problems [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 We propose a notion of quantum control in a quantum programming language which permits the superposition of finitely many quantum operations without performing a measurement.
Costin Bădescu, Prakash Panangaden
doaj +4 more sources
A Denotational Semantics for SPARC TSO
, 2018 The SPARC TSO weak memory model is defined axiomatically, with a non-compositional formulation that makes modular reasoning about programs difficult.
Ryan Kavanagh, Stephen Brookes
openalex +3 more sources
A Denotational Semantics for First-Order Logic [PDF]
, 2000 In Apt and Bezem [AB99] (see cs.LO/9811017) we provided a computational interpretation of first-order formulas over arbitrary interpretations. Here we complement this work by introducing a denotational semantics for first-order logic.
Krzysztof R. Apt
openalex +7 more sources
Semantics for a Quantum Programming Language by Operator Algebras [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 This paper presents a novel semantics for a quantum programming language by operator algebras, which are known to give a formulation for quantum theory that is alternative to the one by Hilbert spaces.
Kenta Cho
doaj +7 more sources