• Freshml

  • Referenced in 48 articles [sw08992]
  • This is established via a novel denotational semantics. FreshML without static freshness inference...
  • CSP-prover

  • Referenced in 15 articles [sw11465]
  • failures model F as the underlying denotational semantics of CSP. Semantically, CSP-Prover offers both ... classical approaches to denotational semantics: the theory of complete partial orders (cpo) as well...
  • ArcAngel

  • Referenced in 14 articles [sw01812]
  • refinement tactics; we present the language, its semantics, and some of its algebraic laws. Apart ... other tactic language has a denotational semantics and proof theory...
  • Fran

  • Referenced in 10 articles [sw21482]
  • language, we provide them with a denotational semantics, including a proper treatment of real time...
  • HALO

  • Referenced in 3 articles [sw23942]
  • HALO: haskell to logic through denotational semantics. Even well-typed programs can go wrong ... allow programmers to write contracts that express semantic properties, such as crash-freedom or some ... written in Haskell, all justified by denotational semantics. This translation enables us to prove that...
  • FISh

  • Referenced in 2 articles [sw12636]
  • Denotational semantic of shape: Past present and future. Past work on the semantics of vectors ... arrays provides a denotational semantics for the new, higher-order, polymorphic array programming language FISh...
  • SCR

  • Referenced in 19 articles [sw06939]
  • organizations to specify software requirements, surprisingly, its semantics is not well defined. The symbols used ... ambiguous, especially those that serve to denote SCR events. The aim of this work ... address this ambiguity and improve the SCR semantics by enabling events in first-order logic...
  • HoTTSQL

  • Referenced in 2 articles [sw27484]
  • HoTTSQL: Proving Query Rewrites with Univalent SQL Semantics. Every database system contains a query optimizer ... paper, we propose a machine-checkable denotational semantics for SQL, the de facto language ... semantics, called HoTTSQL, is based on K-Relations and homotopy type theory, where we denote...
  • HCSP

  • Referenced in 2 articles [sw02577]
  • variant of CSP adapted to capture the semantics of hardware compilation, among other purposes ... message passing systems. A possible denotational semantics is included here thus allowing proper treatment...
  • Differential_Game_Logic

  • Referenced in 2 articles [sw32245]
  • game. In addition to the syntax and semantics, it formalizes a uniform substitution calculus ... game logic with respect to their denotational semantics. One-pass uniform substitutions are faster...
  • Call_Arity

  • Referenced in 1 article [sw32233]
  • allocation). We use syntax and the denotational semantics from the entry ”Launchbury”, where we formalized ... Launchbury’s natural semantics for lazy evaluation. The functional correctness of Call Arity ... proved with regard to that denotational semantics. The operational properties are shown with regard...
  • Launchbury

  • Referenced in 1 article [sw29252]
  • semantics correct with respect to a denotational semantics, and outlines an adequacy proof. We have...
  • ProbNetKAT

  • Referenced in 1 article [sw21703]
  • probabilistic extension of NetKAT with a denotational semantics based on Markov kernels. The language...
  • nQML

  • Referenced in 1 article [sw22184]
  • quantum state. We provide a denotational semantics over density matrices and unitary transformations, inspired...
  • IMP+Exc

  • Referenced in 1 article [sw28535]
  • target language for the denotational semantics of the IMP+Exc imperative programming language, and allows...
  • FRPNow

  • Referenced in 1 article [sw20016]
  • code. We also provide a denotational semantics for this new interface, and a technique (using...
  • TAO

  • Referenced in 0 articles [sw24326]
  • semantic approach for automated test oracle generation. This paper presents the design, implementation, and applications ... provides a declarative notation for defining denotational semantics on each productive grammar rule, such that ... test case is generated, its expected semantics will be evaluated automatically as well, serving ... attempt to apply the methodology of denotational semantics in test and oracle generation...
  • Magma2

  • Referenced in 1 article [sw28717]
  • examples of its use. The semantic model has a denotational flavor and can be used...
  • Reconstructor

  • Referenced in 1 article [sw32101]
  • introduction of incomplete models (for which the denotation of some terms is missing) into scientific ... paracomplete semantics built into Reconstructor to deal with sentences where denotation failures occur. The third...
  • ANDy

  • Referenced in 2 articles [sw16548]
  • thereof) with a local attribute, a state denoting its level (e.g., concentration, strength). Entities levels ... decay gradually as time passes by. The semantics of ANDy is formally given via high...