• 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]
  • multiple-precision floating-point computations with correct rounding. MPFR has continuously been supported ... both efficient and has a well-defined 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 proved-correct optimizing compilers from C to cminor ... small-step semantics (instead of the big-step of the proved-correct compiler) that ... Separation Logic w.r.t. a small-step semantics. The work presented in this paper has been ... Logic and also compiled by a proved-correct compiler with formal end-to-end 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 high-level 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 machine-checked 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...