• Ruby

  • Referenced in 33 articles [sw16267]
  • implementation confirms that the presented semantics conforms to commonly accepted Ruby behavior...
  • Lparse

  • Referenced in 44 articles [sw04633]
  • other stuff) to the accepted language and generates a variable-free simple logic program that ... smodels. Lparse also implements several other semantics (classical negation, partial stable models) by translating them...
  • PROMELA

  • Referenced in 30 articles [sw07635]
  • Outline for an operational semantics of PROMELA. PROMELA is a high-level specification language ... about such interactions. The model checker SPIN accepts specifications written in this language ... paper contains the outline for an operational- semantics definition of PROMELA...
  • GRAPPA

  • Referenced in 8 articles [sw20931]
  • this paper we introduce a general semantical framework for assigning a precise meaning to labelled ... approach rests on the notion of explicit acceptance conditions, as first studied in Abstract Dialectical ... Frameworks (ADFs). The acceptance conditions used here are functions from multisets of labels to truth ... style semantics for argument graphs. We also introduce a pattern language for specifying acceptance functions...
  • PLINI

  • Referenced in 1 article [sw09902]
  • always have a uniquely accepted formal semantics? The answers to these two questions turn...
  • ConArg2

  • Referenced in 6 articles [sw22084]
  • that semantics. Searching for solutions of problems (as enumerating extensions or checking argument-acceptance) takes...
  • GENETAG

  • Referenced in 5 articles [sw35526]
  • acceptable alternatives to the gene/protein names it contained, allowing for partial matching with semantic constraints...
  • Dungine

  • Referenced in 5 articles [sw22091]
  • Dungine uses argument games to evaluate the acceptability of an argument given a constellation ... arguments under grounded (sceptical) and preferred credulous semantics. Existing argumentation engines all rely...
  • K-Maude

  • Referenced in 10 articles [sw09747]
  • Maude: A rewriting based tool for semantics of programming languages. K is a rewriting-based ... Maude. K-Maude provides an interface accepting K modules along with regular Maude modules...
  • BoogiePL

  • Referenced in 13 articles [sw21521]
  • along with a logical encoding of the semantics of such a source language. From ... front end to theorem provers. BoogiePL is accepted as input to Boogie, the Spec# static...
  • HARP

  • Referenced in 16 articles [sw26323]
  • heuristics. To achieve these goals, HARP accepts the entire language of first order logic ... easy to let extralogical information, e.g. semantic and world knowledge, guide the search for proofs...
  • ArgueApply

  • Referenced in 2 articles [sw27498]
  • engage in online discussions and evaluate their semantics. Each of the resulting interpretations ... which some of the discussions statements are accepted and others rejected. Being a mobile tool ... accessible than existing systems for computing argumentation semantics allowing, e.g., for spontaneous analysis...
  • DeCIF

  • Referenced in 2 articles [sw01572]
  • that principally give rise to an additional semantical interpretation of arbitrary formal specification formalisms ... accepted intuition of the logical nature of distributed systems and the most part of semantical...
  • KNEWS

  • Referenced in 1 article [sw36070]
  • KNEWS: Using Logical and Lexical Semantics to Extract Knowledge from Natural Language. We present KNEWS ... pipeline of NLP tools that accepts natural language text as input and outputs knowledge...
  • Forest

  • Referenced in 1 article [sw11313]
  • Moreover, all of these structures must have acceptable ownership, permission, and timestamp attributes. Unfortunately, current ... This paper describes the design, implementation, and semantics of Forest, a new domain-specific language...
  • TravMC

  • Referenced in 2 articles [sw09396]
  • deterministic trivial automata: does the automaton accept every tree in the tree language generated ... traversals induced by the fully abstract game semantics of these schemes, but presented...
  • HECTOR

  • Referenced in 2 articles [sw13320]
  • standard ML to ground-type references. Hector accepts programs from a decidable fragment ... tool relies on the fully abstract game semantics of RML to construct...
  • Simple Firewall

  • Referenced in 1 article [sw28799]
  • model of a firewall. The firewall can accept or drop a packet and can match ... real world. In the upcoming entry ”Iptables Semantics”, we will translate the Linux firewall iptables...
  • JEM

  • Referenced in 0 articles [sw33071]
  • events are extremely useful for clarifying the semantics of the conditions to be monitored ... event package in Java called JEM, which accepts and monitors the composite events specified...
  • IMITATOR

  • Referenced in 29 articles [sw00439]
  • IMITATOR is a software tool for parametric verification...