• Coq

  • Referenced in 1152 articles [sw00161]
  • applications include the formalization of programming languages semantics (e.g. the CompCert compiler certification project...
  • Haskell

  • Referenced in 398 articles [sw03521]
  • purely functional programming language, with non-strict semantics and strong static typing. It is named...
  • Smodels

  • Referenced in 211 articles [sw04631]
  • implementation based on the stable model semantics of normal logic programs. The basic idea...
  • Z

  • Referenced in 203 articles [sw10291]
  • minor unclarities, inconsistencies and errors (both in semantics and spelling). This gives the impression that...
  • SIMPLIcity

  • Referenced in 80 articles [sw14893]
  • SIMPLIcity: Semantics-sensitive integrated matching for picture libraries. We present here SIMPLIcity (semantics-sensitive integrated ... libraries), an image retrieval system, which uses semantics classification methods, a wavelet-based approach ... location. The system classifies images into semantic categories. Potentially, the categorization enhances retrieval by permitting ... semantically-adaptive searching methods and narrowing down the searching range in a database. A measure...
  • BABEL

  • Referenced in 65 articles [sw03018]
  • basis of a lazy reduction semantics which embodies both rewriting and SLD resolution and supports ... data structures. There is also a declarative semantics, based on Scott domains, which provides ... model for BABEL programs. We develop both semantics and prove the existence of least Herbrand ... soundness result for the reduction semantics w.r.t. the declarative one. We also sketch a completeness...
  • SPARQL

  • Referenced in 82 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...
  • MPFR

  • Referenced in 109 articles [sw03312]
  • both efficient and has a well-defined semantics. It copies the good ideas from...
  • Ptolemy

  • Referenced in 65 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...
  • Cmodels

  • Referenced in 52 articles [sw04435]
  • based on the relation between two semantics: the answer set and the completion semantics ... programs called tight, the answer set semantics is equivalent to the completion semantics, so that...
  • PROGRES

  • Referenced in 63 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...
  • Isar

  • Referenced in 85 articles [sw04599]
  • proof documents sets out to bridge the semantic gap between internal notions of proof given...
  • Penn Treebank

  • Referenced in 84 articles [sw08023]
  • produce skeletal parses showing rough syntactic and semantic information -- a bank of linguistic trees...
  • Risa/Asir

  • Referenced in 83 articles [sw00806]
  • interfaces. Asir has very similar syntax and semantics as C language. Furthermore...
  • LARCH

  • Referenced in 74 articles [sw02126]
  • auxiliary specifications, written in LSL, to provide semantics for the primitive terms they use. Specifiers...
  • RCV1

  • Referenced in 74 articles [sw07279]
  • producing the RCV1 data, the intended semantics of the hierarchical category taxonomies, and the corrections...
  • KRAKATOA

  • Referenced in 53 articles [sw03159]
  • proof assistant for modeling the program semantics and conducting the development of proofs, and finally ... representation of the JAVA semantics of the JAVA program into WHY’s input language...
  • swrl

  • Referenced in 44 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...
  • KEM-DEM

  • Referenced in 50 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...
  • Featherweight Java

  • Referenced in 50 articles [sw16204]
  • fields, inheritance, and dynamic typecasts with a semantics closely following Java’s. A proof ... minimal syntax, typing rules, and operational semantics of Featherweight Java make it a handy tool...