• ETPS

  • Referenced in 145 articles [sw06302]
  • contain cuts into expansion proofs, and solving unification problems in higher-order logic...
  • Circus

  • Referenced in 85 articles [sw21828]
  • concurrent language for refinement; it is a unification of imperative CSP, Z, and the refinement...
  • TREESPH

  • Referenced in 57 articles [sw14217]
  • TREESPH - A unification of SPH with the hierarchical tree method. A new, general-purpose code ... without the introduction of a grid. A unification of SPH with the hierarchical tree method...
  • TPS

  • Referenced in 67 articles [sw00973]
  • contain cuts into expansion proofs, and solving unification problems in higher-order logic...
  • CLEAN

  • Referenced in 56 articles [sw01346]
  • dynamic type checking but also dynamic type unification, dynamic linking, just-in-time compilation, coding...
  • GHC

  • Referenced in 42 articles [sw23765]
  • restriction on data flow caused by unification, and the other is the introduction of choice...
  • Firedrake

  • Referenced in 24 articles [sw14923]
  • obtain the solution. Firedrake employs the Unifed Form Language (UFL) from the FEniCS Project while...
  • leanCoP

  • Referenced in 19 articles [sw09756]
  • adding prefixes and a prefix unification algorithm. We present details of both implementations and evaluate...
  • QMT

  • Referenced in 17 articles [sw07137]
  • integrate various search paradigms such as unification, semantic web, or XQuery style queries...
  • Bliksem

  • Referenced in 15 articles [sw21346]
  • representating terms, using the operations of unification and matching. The main outcome of these tests...
  • CFTs4D

  • Referenced in 14 articles [sw23882]
  • bootstrap computations. It is based on the unification of two independent approaches, the covariant (embedding...
  • DLV-EX

  • Referenced in 13 articles [sw04642]
  • with external sources of knowledge, or set unification. This work introduces a framework embedding value...
  • CS-Prolog

  • Referenced in 7 articles [sw00171]
  • Prolog: A generalized unification based constraint solver Constraint logic programming (CLP) is a promising extension ... PROLOG) is presented. A new kind of unification to overcome some insufficiency in standard PROLOG ... introduced by Dincbas is explained and generalized unification based on it is introduced. Extension...
  • Juno-2

  • Referenced in 11 articles [sw07216]
  • which amounts only to an implementation of unification closure) with a sophisticated numerical solver...
  • Athena

  • Referenced in 10 articles [sw09967]
  • over terms and formulas, efficient matching and unification algorithms, etc.), while overcoming some...
  • InvX

  • Referenced in 10 articles [sw10103]
  • inverses are transformed so that no unification is required at run-time in many cases...
  • EQP

  • Referenced in 10 articles [sw15620]
  • strengths are good implementations of associative-commutative unification and matching, a variety of strategies...
  • Isabelle/UTP

  • Referenced in 9 articles [sw21184]
  • framework for the study, formalisation, and unification of formal semantics. Our contributions are, firstly...
  • XCentric

  • Referenced in 6 articles [sw09889]
  • Distinctive features of XCentric are a powerful unification algorithm for terms with functors of arbitrary ... languages for XML). This new form of unification together with an appropriate use of types...
  • CRC 3

  • Referenced in 8 articles [sw09782]
  • associativity without commutativity for which no finitary unification algorithms exist. In this paper we present...