
Freshml
 Referenced in 50 articles
[sw08992]
 This is established via a novel denotational semantics. FreshML without static freshness inference...

CSPprover
 Referenced in 15 articles
[sw11465]
 failures model F as the underlying denotational semantics of CSP. Semantically, CSPProver 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 11 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 welltyped programs can go wrong ... allow programmers to write contracts that express semantic properties, such as crashfreedom 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, higherorder, 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 firstorder 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 machinecheckable denotational semantics for SQL, the de facto language ... semantics, called HoTTSQL, is based on KRelations and homotopy type theory, where we denote...

ProbNetKAT
 Referenced in 2 articles
[sw21703]
 probabilistic extension of NetKAT with a denotational semantics based on Markov kernels. The language...

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. Onepass 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...

Pantagruel
 Referenced in 1 article
[sw39244]
 Denotational semantics of a useroriented, domainspecific language. This paper presents the formal definition ... Pantagruel are expressed in the denotational semantics of Pantagruel. This formal definition has been used...

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

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...