
RCV1
 Referenced in 123 articles
[sw07279]
 data, the intended semantics of the hierarchical category taxonomies, and the corrections necessary to remove...

MPFR
 Referenced in 232 articles
[sw03312]
 multipleprecision floatingpoint computations with correct rounding. MPFR has continuously been supported ... both efficient and has a welldefined semantics. It copies the good ideas from...

CakeML
 Referenced in 53 articles
[sw08799]
 correctness theorem ensures that this REPL implementation prints only those results permitted by the semantics...

SQEMA
 Referenced in 40 articles
[sw03056]
 that syntactic condition is replaced by a semantic one, viz. downward monotonicity. For the first ... most general, extension SemSQEMA we prove correctness for a large class of modal formulae containing...

YAGO
 Referenced in 54 articles
[sw11909]
 like persons, organizations, products, etc. with their semantic relationships  and in quantity by increasing ... magnitude. Our empirical evaluation of fact correctness shows an accuracy of about 95%. YAGO...

cminor
 Referenced in 19 articles
[sw09739]
 level imperative programming language; there are provedcorrect optimizing compilers from C to cminor ... smallstep semantics (instead of the bigstep of the provedcorrect compiler) that ... Separation Logic w.r.t. a smallstep semantics. The work presented in this paper has been ... Logic and also compiled by a provedcorrect compiler with formal endtoend correctness...

Atomizer
 Referenced in 17 articles
[sw08924]
 atomicity checker for multithreaded programs. Ensuring the correctness of multithreaded programs is difficult ... their sequential semantics, which significantly simplifies (formal and informal) correctness arguments.This paper presents a dynamic...

MJ
 Referenced in 12 articles
[sw24342]
 instrument the operational semantics. We then prove the correctness of the effects system; a question...

PROMELA
 Referenced in 30 articles
[sw07635]
 Outline for an operational semantics of PROMELA. PROMELA is a highlevel specification language ... distributed systems, and for expressing logical correctness requirements about such interactions. The model checker SPIN ... paper contains the outline for an operational semantics definition of PROMELA...

PAG
 Referenced in 21 articles
[sw00669]
 semantics of the language and allows the systematic derivation of provably correct and terminating analyses...

SemRegex
 Referenced in 1 article
[sw36206]
 effectively address the goal of generating semantically correct programs, because these approaches fail to handle ... model by maximizing the expected semantic correctness of the generated regular expressions. The semantic correctness...

Proteus
 Referenced in 2 articles
[sw26746]
 preprocessing and the presentation of a semantically correct view of the program during transformation. Many ... preprocessing constructs can be parsed. The real semantic of the program remains obscured resulting...

Freshml
 Referenced in 50 articles
[sw08992]
 name generation, suffices for FreshML’s crucial correctness property that values of datatypes involving binders ... This is established via a novel denotational semantics. FreshML without static freshness inference...

Java+ITP
 Referenced in 8 articles
[sw32259]
 algebraic continuation passing style (CPS) semantics of this fragment as an equational theory in Maude ... propose and prove correct with respect to the algebraic semantics. After being decomposed, Hoare triples...

Boost Interval Arithmetic
 Referenced in 15 articles
[sw13013]
 mathematically correct implementation of interval arithmetic. Various implementations exist with diverse semantics. Our design...

Launchbury
 Referenced in 1 article
[sw29252]
 Correctness of Launchbury’s Natural Semantics for Lazy Evaluation. In his seminal paper ”Natural Semantics ... Lazy Evaluation”, John Launchbury proves his semantics correct with respect to a denotational semantics ... have formalized both semantics and machinechecked the correctness proof, clarifying some details. Furthermore ... proof that does not require intermediate operational semantics...

VPM
 Referenced in 11 articles
[sw07364]
 individually specified semantics, there is an increasing need for automated and provenly correct model transformations ... founded mapping from UML models to different semantic domains (Petri nets, Kripke automaton, process algebras...

SAFECode
 Referenced in 4 articles
[sw13323]
 time checks in operational semantics and prove the correctness of our approach for a subset...

TVLA
 Referenced in 34 articles
[sw09878]
 from an operational semantics, where the operational semantics is specified using logical formulae. TVLA ... Mobile Ambients, and to verify the partial correctness of several sorting programs...

TRX
 Referenced in 9 articles
[sw08800]
 terminating and correct with respect to its grammar and the semantics of PEGs; both properties...