• Abella

  • Referenced in 49 articles [sw09461]
  • rules based on syntactic structure. Abella utilizes a two-level logic approach to specification ... specification logic which supports a transparent encoding of structural semantics rules and also enables their ... level, called the reasoning logic, embeds the specification logic and allows the development of proofs...
  • Spoofax

  • Referenced in 11 articles [sw16988]
  • spoofax language workbench: rules for declarative specification of languages and IDEs. Spoofax is a language ... idioms for high-level specifications of language semantics using rewrite rules, showing how analyses...
  • SPIRAL

  • Referenced in 46 articles [sw00903]
  • domain specific language, based on an algebraic formulation of DSP algorithms, and rewrite rules...
  • MMT

  • Referenced in 16 articles [sw07905]
  • framework that allows structural operational semantics (SOS) specifications to be made modular in the sense ... redefinition of transition rules, which is the case in SOS specifications, when an extension...
  • VIATRA2

  • Referenced in 33 articles [sw03511]
  • VIATRA2 framework, which provides a rule- and pattern-based transformation language for manipulating graph models ... abstract state machines into a single specification paradigm. This language offers advanced constructs for querying ... models (e.g. generic transformation and meta-transformation rules) in unidirectional model transformations frequently used...
  • ARVis

  • Referenced in 8 articles [sw06648]
  • rules by means of a specific constraint-based rule-mining algorithm...
  • NAXPERT

  • Referenced in 6 articles [sw01117]
  • Knowledge is represented by keywords, routine specifications and rules that describe relations between keywords...
  • PRIME Decisions

  • Referenced in 33 articles [sw16213]
  • interval-valued ratio statements in the specification of preferencies. It computes value intervals and dominance ... alternatives, and supports several decision rules for the development of recommendations. PRIME Decision...
  • TMBpro

  • Referenced in 5 articles [sw11341]
  • because TMB structures conform to specific construction rules that restrict the conformational space drastically...
  • GENETAG

  • Referenced in 5 articles [sw35526]
  • gene/protein names subject to a specificity constraint, a rule that required the tagged entities ... refer to specific entities. Each sentence in GENETAG was annotated with acceptable alternatives ... matching with semantic constraints. Semantic constraints are rules requiring the tagged entity to contain...
  • A3PAT

  • Referenced in 8 articles [sw21587]
  • proofs. Software engineering, automated reasoning, rule-based programming or specifications often use rewriting systems...
  • LEGOL

  • Referenced in 6 articles [sw07843]
  • LEGOL 2.0: A relational specification language for complex rules LEGOL is a language for writing ... rules such as those which might appear in legislation or system specifications, in such...
  • DynaMine

  • Referenced in 4 articles [sw33951]
  • APIs and these violations of application-specific coding rules are responsible for a multitude ... fixes in order to automatically discover application-specific coding patterns. Potential patterns discovered through mining...
  • margrave

  • Referenced in 2 articles [sw28803]
  • among rules, tracing firewall behavior to specific rules, and verification against security goals. Margrave differs...
  • XPathLog

  • Referenced in 7 articles [sw15782]
  • XPath-Logic, providing a Datalog-style, rule-based language for querying and manipulating XML data ... semantics is also used for a declarative specification how the database should be updated ... when used in rule heads, XPath filters are interpreted as specifications of elements and properties...
  • MulVAL

  • Referenced in 7 articles [sw17743]
  • elements in the analysis (bug specification, configuration description, reasoning rules, operating-system permission and privilege...
  • UMM

  • Referenced in 8 articles [sw10132]
  • this paper, we present the UMM specification framework, which integrates two key features to support ... rules and visibility ordering rules to obtain an executable specification of another memory model...
  • R2SM

  • Referenced in 4 articles [sw11901]
  • allowing to build these Feynman Rules in terms of specific elementary particles, are explicitly given ... obtain the Feynman Rules from them. The results in more specific gauges, like...
  • Firmato

  • Referenced in 12 articles [sw10595]
  • model into firewall-specific configuration files; and (4) a graphical firewall rule illustrator. We demonstrate...
  • ChC 3

  • Referenced in 11 articles [sw09781]
  • modulo the given axioms A, and their rules should be (ground) coherent with E modulo ... Furthermore, many specifications of interest are typed, have equations E and rules R that...