• SCR

  • Referenced in 19 articles [sw06939]
  • software requirements, surprisingly, its semantics is not well defined. The symbols used in this method ... semantics by enabling events in first-order logic via two symbols pred and succ. This ... tables, eliminate their ambiguous semantics, facilitate the verification and validation process, and improve the toolset...
  • OMRS

  • Referenced in 39 articles [sw03359]
  • semantics to communication of mathematical services in distributed theorem proving and symbolic computation environments...
  • KJS

  • Referenced in 7 articles [sw18992]
  • Firefox SpiderMonkey) and in other semantics. KJS is symbolically executable, thus it can be used...
  • CAS/PI

  • Referenced in 22 articles [sw02186]
  • tools, to extend the set of graphic symbols managed by the formula editor, to design ... editing commands based on the syntax or semantics of mathematical formulas, to customize and extend...
  • JavaFAN

  • Referenced in 32 articles [sw01934]
  • Java program analysis framework, that can symbolically execute multithreaded programs, detect safety violations searching through ... lines of Maude code, specifying formally the semantics of Java and JVM in rewriting logic...
  • CASPA

  • Referenced in 4 articles [sw02863]
  • verification. It is based entirely on the symbolic data structure MTBDD (multi-terminal binary decision ... discuss the pertaining semantics and present an efficient symbolic algorithm for the elimination of vanishing...
  • BinSim

  • Referenced in 1 article [sw31767]
  • runtime behaviors or modeling code snippet semantics with symbolic execution. However, neither approach delivers ... semantic similarities or differences between two execution traces. We perform enhanced dynamic slicing and symbolic ... observable behaviors. Our approach improves existing semantics-based binary diffing by 1) inferring whether...
  • JFIX

  • Referenced in 1 article [sw26886]
  • JFIX: semantics-based repair of Java programs via symbolic PathFinder. Recently there has been ... generally classified into two families: syntactic- and semantics-based. Semantics-based ... which we focus, typically uses symbolic execution to infer semantic constraints and then program synthesis ... semantics APR technique. We present JFix, a semantics-based APR framework that targets Java...
  • FunArray

  • Referenced in 14 articles [sw13708]
  • arrays and collections. The analysis automatically and semantically divides arrays into consecutive non-overlapping possibly ... bound expressions and abstracted uniformly. All symbolic expressions appearing in a bound set are equal...
  • SUMMARIST

  • Referenced in 3 articles [sw26528]
  • point of a text. This requires semantic analysis, discourse processing, and inferential interpretation (grouping ... topic extraction). In particular, symbolic techniques, using parsers, grammars, and semantic representations, do not scale...
  • mathsem

  • Referenced in 1 article [sw18579]
  • implements a way to provide semantic meaning to symbols, without adding a large syntactical burden...
  • Wolfram Functions Site

  • Referenced in 34 articles [sw13597]
  • features of Mathematica. Its built-in functions, symbolic capabilities, high-precision numerics, programmatic file manipulation ... functions and formulas by name, an enhanced semantic-based search engine will allow formulas...
  • LAD

  • Referenced in 5 articles [sw04859]
  • Mathematica kernel for the involved symbolic computations. From the DGS internal textual representation ... geometric diagram, an OpenMath (i.e. semantic-based) description of the requested task is created using...
  • FunGrim

  • Referenced in 1 article [sw32384]
  • special functions. We also discuss the symbolic computation library used as the backend and main ... these projects to represent mathematical content semantically...
  • KERNELC

  • Referenced in 1 article [sw38622]
  • framework. In this article, we propose a symbolic technique that can be used for automatically ... structures and heap manipulation. Starting from the semantic definition ... KERNELC in the 𝕂 semantic framework, we enrich the symbolic execution facilities recently provided...
  • PEARL

  • Referenced in 4 articles [sw02990]
  • symbols are introduced for its constructs to enable graphical modeling while maintaining the semantical background...
  • Differential_Game_Logic

  • Referenced in 3 articles [sw32245]
  • game. In addition to the syntax and semantics, it formalizes a uniform substitution calculus ... formula for a function or predicate symbol everywhere. The uniform substitutions for dGL also substitute ... hybrid games for a game symbol everywhere. We prove soundness of one-pass uniform substitutions ... game logic with respect to their denotational semantics. One-pass uniform substitutions are faster...
  • KindSpec

  • Referenced in 2 articles [sw21609]
  • Symbolic abstract contract synthesis in a rewriting framework. We propose an automated technique for inferring ... semantic definition of KernelC in the $mathbb {K}$ framework, we enrich the symbolic execution facilities...
  • Qex

  • Referenced in 3 articles [sw09944]
  • symbolic SQL query explorer. We describe a technique and a tool called Qex for generating ... given parameterized SQL query. The evaluation semantics of an SQL query is translated into ... solver as a set of equational axioms. Symbolic evaluation of a goal formula together with...
  • I2T

  • Referenced in 5 articles [sw36509]
  • that specifies syntactic relations (i.e., compositional) and semantic relations (e.g., categorical, spatial, temporal, and functional ... unified model of both categorical and symbolic representations of visual knowledge. The proposed I2T framework...