• PROGRES

  • Referenced in 70 articles [sw02905]
  • checker is able to check the static semantics of a specification. This paper presents ... which allow to check a specification’s semantics at runtime. It discusses a number...
  • PDDL

  • Referenced in 92 articles [sw07079]
  • syntax of the language, its formal semantics and the validation of concurrent plans. We observe...
  • Tyrolean

  • Referenced in 89 articles [sw07830]
  • interpretation, predictive labeling, recursive SCC, root-labeling, semantic labeling, simple projection and subterm criterion, uncurrying...
  • Circus

  • Referenced in 88 articles [sw21828]
  • Semantics of Circus. Circus is a concurrent language for refinement; it is a unification...
  • OMDoc

  • Referenced in 87 articles [sw07138]
  • standard that allows the representation of the semantics and structure of various kinds of mathematical...
  • KEM-DEM

  • Referenced in 59 articles [sw03093]
  • session. This paper shows that KEM semantically secure against adaptively chosen ciphertext attacks (IND-CCA2 ... semantically secure against adaptively chosen plaintext/ciphertext attacks (IND-P2-C2) along with secure signatures...
  • GROOVE

  • Referenced in 50 articles [sw09480]
  • basis for model transformation and operational semantics. This entails a formal foundation for model transformation ... dynamic semantics, and the ability to verify model transformation and dynamic semantics through an (automatic...
  • swrl

  • Referenced in 48 articles [sw14002]
  • SWRL: A Semantic Web Rule Language Combining OWL and RuleML. This document contains a proposal ... Semantic Web Rule Language (SWRL) based on a combination ... Lite sublanguages of OWL. A model-theoretic semantics is given to provide the formal meaning...
  • CCalc

  • Referenced in 75 articles [sw09899]
  • Texas Action Group at Austin. The semantics of the language of CCalc is related...
  • Jena

  • Referenced in 53 articles [sw10685]
  • Jena Toolkit open up the semantic Web. As more data is being stored ... your own Java™ applications with the Jena Semantic Web Toolkit...
  • YAGO

  • Referenced in 51 articles [sw11909]
  • YAGO: a core of semantic knowledge. We present YAGO, a light-weight and extensible ontology ... like persons, organizations, products, etc. with their semantic relationships - and in quantity by increasing...
  • KLAIM

  • Referenced in 71 articles [sw09424]
  • protocols among located processes. The formal operational semantics is useful for discussing the design...
  • K Prover

  • Referenced in 41 articles [sw32257]
  • Prover. An overview of the K semantic framework. K is an executable semantic framework ... challenge and expose the limitations of existing semantic frameworks...
  • Racer

  • Referenced in 65 articles [sw09837]
  • abduction. Racer also provides the powerful and semantically well-defined conjunctive query language nRQL...
  • Ruby

  • Referenced in 33 articles [sw16267]
  • scripting language, but they also make the semantics of Ruby complicated and difficult to understand ... scripting language, it should have a rigorous semantics. To meet this challenge, we present ... formal operational semantics that can serve as a high-level specification for both the users ... implementers. The key insight underlying the semantics is that various elaborate features of Ruby...
  • CLEAN

  • Referenced in 58 articles [sw01346]
  • among which it’s Term Graph Rewriting semantics. Of particular importance for practical...
  • SMIL

  • Referenced in 41 articles [sw03378]
  • Allow reusing of SMIL 3.0 syntax and semantics in other XML-based languages, in particular ... markup modules, which define the semantics and an XML syntax for certain areas of SMIL...
  • ProofPower

  • Referenced in 57 articles [sw06339]
  • specification and proof in Z using a semantic embedding of Z into...
  • COMAL

  • Referenced in 55 articles [sw30775]
  • home computers. The ”COMAL Kernel Syntax & Semantics”[1] contains the formal definition of the language...
  • SQEMA

  • Referenced in 38 articles [sw03056]
  • correspondence and completeness in modal logic. IV. Semantic extensions of SQEMA ... that syntactic condition is replaced by a semantic one, viz. downward monotonicity. For the first...