• ProofPower

  • Referenced in 49 articles [sw06339]
  • proof in Z using a semantic embedding of Z into HOL. The DAZ tool supporting...
  • Isabelle/Circus

  • Referenced in 13 articles [sw15208]
  • machine-checked, formal semantics based on a “shallow embedding” of Circus in Isabelle/UTP (our semantic...
  • CompCert

  • Referenced in 34 articles [sw09737]
  • verification of realistic compilers usable for critical embedded software. Such verified compilers come with ... code behaves exactly as prescribed by the semantics of the source program. By ruling...
  • HOL-OCL

  • Referenced in 21 articles [sw05734]
  • choices Based on experiences gained from an embedding of the Object Constraint Language ... issues of the design of a formal semantics of the OCL. Thecs...
  • dypro

  • Referenced in 1 article [sw28851]
  • Precise Representation of Program Semantics. Neural program embedding has shown potential in aiding the analysis ... neural architectures pride themselves on learning program semantics rather than superficial syntactic features. However...
  • Metropolis

  • Referenced in 17 articles [sw16265]
  • implementation task toward embedded software design. When embedded software reaches the complexity typical of today ... challenge. Based on a metamodel with formal semantics that developers can use to capture designs...
  • Import2vec

  • Referenced in 1 article [sw28301]
  • developing suitable learning representations (embeddings) for library packages that capture semantic similarity among libraries. Such ... search and analogical reasoning. We apply word embedding techniques from natural language processing ... embeddings on three large open source software corpora reveals that library vectors capture semantically meaningful...
  • Nasari

  • Referenced in 2 articles [sw24669]
  • single unified semantic space and in a joint embedded space, respectively. Moreover, our representations...
  • CNN-RNN

  • Referenced in 1 article [sw28401]
  • learns a joint image-label embedding to characterize the semantic label dependency as well...
  • Volcano

  • Referenced in 21 articles [sw30956]
  • query processing operators using support functions. The semantics of support functions is not prescribed ... optimization decisions until run-time, e.g., for embedded queries with free variables. The exchange meta...
  • KANREN

  • Referenced in 4 articles [sw20083]
  • embedded in a pure functional subset of Scheme. The system has a set-theoretical semantics...
  • VDMTools

  • Referenced in 2 articles [sw18244]
  • analysing distributed embedded real-time systems. VDMTools provides extensive static semantics checking, automatic code generation...
  • Cider

  • Referenced in 4 articles [sw00126]
  • diagram’s structure and its intended semantics. We present Cider. Cider is a generic component ... system which is designed to be easily embedded in Java applications. It provides automatic interpretation...
  • Isabelle/UTP

  • Referenced in 9 articles [sw21184]
  • semantics. Our contributions are, firstly, a deep semantic model of UTP’s alphabetised predicates, supporting ... towards reconciliation of shallow and deep language embeddings...
  • MOMENT2

  • Referenced in 10 articles [sw10025]
  • give a real-time rewrite formal semantics to real-time model transformations, and show ... verifying model-based real-time and embedded systems within the Eclipse Modeling Framework using graph...
  • QWire

  • Referenced in 4 articles [sw20268]
  • well-formed and has a sound operational semantics that reduces circuits to a small ... highly modular as it can be embedded into an arbitrary host language that treats circuits...
  • mbeddr

  • Referenced in 2 articles [sw22663]
  • extension of C with constructs adequate for embedded systems. In mbeddr, efficient low-level programs ... modular language extension regarding syntax, type system, semantics and IDE. In the paper we show ... language extension can address the challenges of embedded software development and report on our experience...
  • Yaps

  • Referenced in 1 article [sw27076]
  • syntax and semantics that is close to graphical models. Unfortunately, existing embeddings of Stan ... Python syntax while retaining its self-contained semantics. The answer is yes, that...
  • MCAPI

  • Referenced in 1 article [sw13043]
  • semantic for communication and synchronization between processing cores in embedded systems. The purpose of MCAPI...
  • MoleView

  • Referenced in 1 article [sw11684]
  • MoleView: An attribute and structure-based semantic lens for large element-based plots. We present ... multivariate relational data. Given a spatial embedding of the data, in terms of a scatter ... plot or graph layout, we propose a semantic lens which selects a specific spatial...