• Clingo

  • Referenced in 65 articles [sw09893]
  • recent ASP language standard. For processing legacy encodings, we recommend downloading the latest version...
  • COWS

  • Referenced in 51 articles [sw06955]
  • BPEL, the de facto standard language for orchestration of web services. COWS combines ... compensation handlers, and for encoding other process and orchestration languages...
  • BERT

  • Referenced in 36 articles [sw30756]
  • which stands for Bidirectional Encoder Representations from Transformers. Unlike recent language representation models, BERT...
  • Binder

  • Referenced in 14 articles [sw26750]
  • security language, used to expresssecurity statements in a distributed system. Most existing securitylanguages encode security ... Binder is an openlogic-based security language that encodes security statements ascomponents of communicating distributed ... more expressive than statements in standard security languages,and the meanings of standard security constructs...
  • HOPLA

  • Referenced in 14 articles [sw02330]
  • itself to a more operational account. The language can be viewed as an extension ... shown how it can directly encode process languages such as CCS, CCS with process passing...
  • Beluga

  • Referenced in 25 articles [sw01321]
  • object language with binders in the meta-language. One of the key benefits is that ... also for capture-avoiding substitution. While HOAS encodings have played an important role in mechanizing ... theory of programming languages, it has been difficult to incorporate HOAS encodings directly into functional...
  • BoogiePL

  • Referenced in 12 articles [sw21521]
  • object-oriented .NET language), along with a logical encoding of the semantics of such...
  • MMT

  • Referenced in 47 articles [sw07136]
  • Language. We introduce the MMT language, which provides a simple and scalable Module system ... development of Mathematical Theories. MMT permits to encode mathematical knowledge in a logic-neutral representation...
  • EXPANDER

  • Referenced in 6 articles [sw22715]
  • illustrating the suitability of functional languages for encoding deductive methods...
  • Abella

  • Referenced in 49 articles [sw09461]
  • system for reasoning about aspects of object languages that have been formally presented through recursive ... specification logic which supports a transparent encoding of structural semantics rules and also enables their ... syntax approach to treating binding in object languages. Amongst other things, Abella has been used...
  • QWire

  • Referenced in 4 articles [sw20268]
  • will introduce the Qwire circuit language, which encodes circuits in a classical programming language...
  • KOMET

  • Referenced in 4 articles [sw21352]
  • present an especially suitable logic-based language for encoding typical mediation tasks like conditional preference ... knowledge sources as constraint domains, our mediation language offers a rich framework, which not only...
  • Cayenne

  • Referenced in 29 articles [sw09686]
  • combined type and value expressions makes the language very powerful. It is powerful enough that ... suffice. It is also powerful enough to encode predicate logic at the type level, allowing...
  • lp2normal

  • Referenced in 3 articles [sw25505]
  • features a rich rule-based modeling language for encoding search problems. While normal rules form...
  • INTAMAP

  • Referenced in 3 articles [sw08292]
  • encoded with UncertML, a markup language designed to encode uncertain data. Automatic interpolation needs...
  • SeaHorn

  • Referenced in 14 articles [sw18274]
  • language, its operational semantics, and the verification semantics. SeaHorn encompasses several novelties: it (a) encodes ... uses Horn-clauses as an intermediate language to represent verification conditions which simplifies interfacing with...
  • Racer

  • Referenced in 65 articles [sw09837]
  • Lispworks, for which also (setf asdf::*default-encoding* :default) should be evaluated. Racer is distributed ... powerful and semantically well-defined conjunctive query language nRQL (new Racer Query Language...
  • code2seq

  • Referenced in 3 articles [sw33950]
  • syntactic structure of programming languages to better encode source code. Our model represents a code ... approach for two tasks, two programming languages, and four datasets of up to 16M examples...
  • MSO_Regex_Equivalence

  • Referenced in 7 articles [sw32230]
  • problems can be encoded. Since MSO formulas correspond to regular languages, equivalence of MSO formulas...
  • AoPA

  • Referenced in 8 articles [sw09832]
  • Agda), to encode relational derivations in the dependently typed programming language Agda. A program...