• MTT

  • Referenced in 22 articles [sw09783]
  • outside the scope of current termination tools. The operational meaning of such features is often...
  • MULKNAP

  • Referenced in 37 articles [sw06467]
  • above for pruning subproblems, and at each terminal subproblem, we solve MKP exactly by calling ... MULKNAP code [{it D. Pisinger}, Eur. J. Oper...
  • SCIFF

  • Referenced in 16 articles [sw20513]
  • declarative and operational semantics of the SCIFF language, and the termination, soundness, and completeness results...
  • LSMR

  • Referenced in 69 articles [sw12940]
  • being sparse or a fast linear operator. LSMR is based on the Golub-Kahan bidiagonalization ... monotonic) it is safer to terminate LSMR early. We also report some experiments with reorthogonalization...
  • DART

  • Referenced in 71 articles [sw07260]
  • most general environment the program can operate in; and (3) dynamic analysis ... program crashes, assertion violations, and non-termination. Preliminary experiments to unit test several examples...
  • DCVALID

  • Referenced in 14 articles [sw20416]
  • multi-terminal BDD based representation of automata and has implemented algorithms for operations on automata...
  • Goldilocks

  • Referenced in 10 articles [sw12806]
  • caught, the operation, thread, or program causing it can be terminated gracefully. Alternatively, the DataRaceException...
  • Coinductive

  • Referenced in 7 articles [sw28537]
  • infinite streams, coinductive terminated lists, coinductive resumptions, a library of operations on coinductive lists...
  • OFMC

  • Referenced in 27 articles [sw09466]
  • with support for algebraic properties of cryptographic operators and with a simple notation for different ... constraint-based techniques, which are correct and terminating. The two major techniques are the lazy ... algebraic theory of the employed cryptographic operators, which can be specified as part...
  • CARIBOO

  • Referenced in 14 articles [sw10064]
  • Induction Based termination prOOfs), allows proving termination under specific reduction strategies, which becomes of special ... evaluation process of ELAN, local strategies on operators, provided in OBJ-like languages, and allowing ... avoid evaluations known to be non terminating for the standard strategy, to make strategy computations...
  • Kernel-LEAF

  • Referenced in 28 articles [sw08982]
  • cope with partial (undefined or non-terminating) functions. This is achieved by introducing the distinction ... different behaviour with respect to continuity. The operational semantics (based on SLD-resolution) is proved...
  • PEBBL

  • Referenced in 12 articles [sw13809]
  • customized to support application-specific operations, while managing the generic aspects of branch and bound ... pool across multiple processors, load balancing, and termination detection. PEBBL is designed to provide highly...
  • DIASPORA

  • Referenced in 14 articles [sw02659]
  • query completion, handling query rewriting, supporting query termination and preventing multiple computations of a query ... hyperlink framework. The DIASPORA system is currently operational and is undergoing testing on our campus...
  • PortLib

  • Referenced in 1 article [sw37941]
  • scheduling problem for feeder vessels in multi-terminal ports, which has been defined in close ... faced by the carriers in scheduling the operations. Given a fleet of feeder vessels, which ... number of operations to perform at different terminals, and each terminal can only serve ... time, the task is to define an operational schedule, i.e. a starting time for each...
  • VMEXT

  • Referenced in 5 articles [sw20981]
  • terminal symbols, such as identifiers or numbers (leaf nodes), and functions or operators (non-leaf...
  • CSP

  • Referenced in 1 article [sw08678]
  • determinism and non-termination. We define an instrumented operational semantics that generates as a side...
  • CRC 3

  • Referenced in 9 articles [sw09782]
  • specifications. The Church-Rosser property, together with termination, is essential for an equational specification ... initial algebra, mathematical semantics, and its operational semantics by rewriting. Checking this property for expressive...
  • LPTP

  • Referenced in 7 articles [sw01822]
  • These can then be used to prove termination and correctness properties of programs. The main ... extension is an adequate axiomatization of the operational semantics of pure Prolog with built...
  • Meddly

  • Referenced in 3 articles [sw29140]
  • Meddly (Multi-terminal and Edge-valued Decision Diagram LibrarY) is a C++ library that natively ... configurable garbage collection, and many built-in operations (with compute table support...
  • RackEnumeration

  • Referenced in 4 articles [sw34534]
  • Coxeter process. We prove that the process terminates if and only if (mathcal ... which case, the procedure outputs an operation table for the finite rack. We conclude with...