• MMT

  • Referenced in 16 articles [sw07905]
  • Maude as a realization of a semantics-preserving mapping between MSOS and rewriting logic ... several different examples from programming languages semantics and concurrent systems. This paper reports...
  • Romeo

  • Referenced in 26 articles [sw00812]
  • Timed Automata (TAs) that preserve the behavioural semantics (timed bisimilarity) of the TPNs. Besides...
  • SpiCO

  • Referenced in 10 articles [sw10691]
  • objects with static inheritance. We present a semantics for SpiCO in terms of continuous time ... biochemical stochastic $pi $ calculus while preserving semantics...
  • CertiCrypt

  • Referenced in 6 articles [sw09443]
  • tools (observational equivalence, relational Hoare logic, semantics-preserving program transformations) to assist in constructing proofs...
  • GCminor

  • Referenced in 4 articles [sw22622]
  • garbage collection; and (iii) a proven semantics-preserving translation from GCminor to Cminor plus ... desired degree of verification, including full semantics preservation, type preservation, or informal trust...
  • Refiner

  • Referenced in 5 articles [sw00790]
  • developed through the successive application of semantics-preserving program transformations. Code development is recorded...
  • BayesOWL

  • Referenced in 8 articles [sw36763]
  • framework which augments and supplements the semantic web ontology language OWL5 for representing and reasoning ... translated BN, which preserves the semantics of the original ontology and is consistent with...
  • PTE

  • Referenced in 7 articles [sw37756]
  • This low dimensional embedding not only preserves the semantic closeness of words and documents...
  • Hakaru

  • Referenced in 4 articles [sw14669]
  • system implements two automatic and semantics-preserving program transformations -- {it disintegration}, which calculates conditional distributions...
  • PelletSpatial

  • Referenced in 3 articles [sw11708]
  • reasoner based on the semantics preserving translation of RCC relations to OWL-DL class axioms...
  • REFINER

  • Referenced in 3 articles [sw24290]
  • models of concurrent systems, reason about semantics preservation and the preservation of safety and liveness...
  • CoVaC

  • Referenced in 7 articles [sw21472]
  • that a compiler optimization run preserves the program semantics. Unlike existing frameworks, CoVaC accommodates absence...
  • Jinja not Java

  • Referenced in 2 articles [sw28876]
  • semantics; a virtual machine (JVM), its operational semantics and its type system; a type safety ... compiler and a proof that it preserves semantics and well-typedness. The emphasis of this...
  • Plat-Omega

  • Referenced in 3 articles [sw19624]
  • formulas. These documents are then semantically annotated preserving the textual structure by using the flexible ... language which we present. From this informal semantic representation PlatΩ automatically generates the corresponding formal...
  • JCSP

  • Referenced in 3 articles [sw25045]
  • application channels, acknowledgement packets to preserve synchronisation semantics) are hidden from the JCSP programmer...
  • ABS

  • Referenced in 31 articles [sw21211]
  • formalize the type system and semantics of Core ABS, a calculus with the main features ... property which shows that well-typedness is preserved during execution; in particular, “method not understood...
  • GF

  • Referenced in 34 articles [sw13667]
  • dependent types in abstract syntax to express semantic conditions, such as well-typedness and proof ... used for reliable and meaning-preserving translation. They can also be used in authoring systems...
  • PSOA2TPTP

  • Referenced in 1 article [sw07648]
  • parsed efficiently. We also present a semantics-preserving mapping from PSOA RuleML to TPTP through...
  • STEX+

  • Referenced in 4 articles [sw07697]
  • order to deal with modular pre-semantic vocabularies and relations, we upgraded it to STEX ... structural annotations are preserved in order to enable semantic information retrieval services...
  • InfoGraph

  • Referenced in 2 articles [sw37754]
  • learns from unlabeled data while preserving the latent semantic space favored by the current supervised...