• Coq

  • Referenced in 1522 articles [sw00161]
  • proofs. Typical applications include the formalization of programming languages semantics (e.g. the CompCert compiler certification ... Card EAL7 certification in industrial context), the formalization of mathematics (e.g. the full formalization...
  • ML

  • Referenced in 478 articles [sw01218]
  • completely specified and verified using formal semantics. Its types and pattern matching make it well ... commonly used to operate on other formal languages, such as in compiler writing, automated theorem...
  • SPARQL

  • Referenced in 109 articles [sw07429]
  • SPARQL standard presenting its syntax and formal semantics. We then focus on the formalization ... important recently discovered issues regarding the normative semantics of federation and navigation in SPARQL...
  • Ptolemy

  • Referenced in 75 articles [sw07459]
  • modular formal semantics for Ptolemy. Ptolemy is an open-source and extensible modelling and simulation ... arbitrary fashion. This paper proposes a formal semantics for Ptolemy that is modular ... models of computation. In this paper, we formally define the directors for the following models...
  • PDDL

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

  • Referenced in 65 articles [sw09424]
  • interaction protocols among located processes. The formal operational semantics is useful for discussing the design...
  • WSAT

  • Referenced in 35 articles [sw01022]
  • service standards, most of which lack formal semantics, complicate the formal specification of web service...
  • PNML

  • Referenced in 39 articles [sw03257]
  • Petri nets, ISO/IEC 15909, provides a formal semantics and syntax to enable model interchange...
  • MANIFOLD

  • Referenced in 30 articles [sw02900]
  • transition system semantics for the control-driven coordination language MANIFOLD Coordination languages ... supported by MANIFOLD. We present the formal semantics of a kernel of MANIFOLD, based ... semantics of a control-oriented coordination language, this approach is useful for the formal studies...
  • Isar

  • Referenced in 125 articles [sw04599]
  • approach to readable formal proof documents sets out to bridge the semantic gap between internal ... abstraction for user-level work. The Isar formal proof language has been designed to satisfy...
  • GROOVE

  • Referenced in 48 articles [sw09480]
  • model transformation and operational semantics. This entails a formal foundation for model transformation and dynamic...
  • Ruby

  • Referenced in 31 articles [sw16267]
  • meet this challenge, we present a formal operational semantics that can serve as a high...
  • RuleML

  • Referenced in 22 articles [sw01792]
  • language for rules using XML markup, formal semantics, and efficient implementations.RuleML covers the entire rule...
  • HOL-OCL

  • Referenced in 21 articles [sw05734]
  • issues of the design of a formal semantics of the OCL. Thecs...
  • JavaFAN

  • Referenced in 29 articles [sw01934]
  • lines of Maude code, specifying formally the semantics of Java and JVM in rewriting logic...
  • Metropolis

  • Referenced in 17 articles [sw16265]
  • challenge. Based on a metamodel with formal semantics that developers can use to capture designs ... complex electronic-system design that supports simulation, formal analysis, and synthesis...
  • CP-logic

  • Referenced in 14 articles [sw06947]
  • aspect, which has been studied at the semantical level by Shafer in his framework ... this evolution is quite natural. In our formalization, a set of probabilistic causal laws ... offering a convenient logical representation for his semantical objects. Second, this language also has relevance ... particular, we prove that the formal semantics of a theory in our language...
  • Isabelle/Circus

  • Referenced in 13 articles [sw15208]
  • with a refinement calculus. Its semantics is based on Hoare and He’s unifying theories ... develop a machine-checked, formal semantics based on a “shallow embedding” of Circus in Isabelle/UTP...
  • swrl

  • Referenced in 47 articles [sw14002]
  • model-theoretic semantics is given to provide the formal meaning for OWL ontologies including rules...
  • KL-ONE

  • Referenced in 38 articles [sw28891]
  • family of knowledge representation formalisms that are descended from semantic networks and frames...