• ALF

  • Referenced in 67 articles [sw08603]
  • modular type/proof checking algorithm for complete proof objects is presented, and it is proved sound ... substitution calculus. The algorithm is extended to handle incomplete objects in such a way that...
  • FOXBOX

  • Referenced in 16 articles [sw00307]
  • performing the symbolic calculus with such representations. Black box objects are stored as functions...
  • SpiCO

  • Referenced in 9 articles [sw10691]
  • stochastic pi calculus for concurrent objects. We present SpiCO, a new modeling and simulation language ... stochastic $pi $ calculus. It supports higher level modeling via multi-profile concurrent objects with static ... SpiCO back into the biochemical stochastic $pi $ calculus while preserving semantics...
  • Satallax

  • Referenced in 48 articles [sw06849]
  • corresponding to rules of a complete tableau calculus and calls MiniSat periodically to test satisfiability ... these clauses. Satallax is implemented in Objective Caml. You can run Satallax online...
  • Abella

  • Referenced in 48 articles [sw09461]
  • tree syntax approach to treating binding in object languages. Amongst other things, Abella has been ... prove normalizability properties of the λ-calculus, cut admissibility for a sequent calculus and type...
  • MJ

  • Referenced in 12 articles [sw24342]
  • core calculus for Java and Java with effects. In order to study rigorously object-oriented ... imperative core calculus for Java. Whilst compact, MJ models features such as object identity, field ... question of effect inference for our extended calculus, detail an algorithm for inferring effects information...
  • CCUBE

  • Referenced in 5 articles [sw17366]
  • implementation and optimization of high-level constraint object-oriented query languages as well ... CCUBE data manipulation language, Constraint Comprehension Calculus, is an integration of a constraint calculus ... constraint calculus is based on constraint spatio-temporal (CST) objects that may hold spatial, temporal ... objects are constructed, manipulated and queried by means of the constraint calculus. The model...
  • Pict

  • Referenced in 70 articles [sw08929]
  • Milner, Parrow, and Walker’s pi-calculus - has been used as a theoretical foundation ... higher-order programming, selective communication, and concurrent objects. The type system integrates a number...
  • Chebfun2

  • Referenced in 29 articles [sw12708]
  • which in turn are represented as Chebfun objects. The so-called low rank approximations ... singular value decomposition, root finding, and vector calculus...
  • DIMSYM

  • Referenced in 72 articles [sw04279]
  • finite dimensional manifolds, symmetries of geometric objects (eg, isometries), and also to solve linear partial ... EXCALC so that all the machinery of calculus on manifolds can be utilised from within...
  • ABS

  • Referenced in 26 articles [sw21211]
  • This feature combination results in a concurrent object-oriented model which is inherently compositional ... system and semantics of Core ABS, a calculus with the main features...
  • JoCaml

  • Referenced in 25 articles [sw02065]
  • JoCaml. JoCaml is an extension of the Objective Caml language. It extends OCaml with support ... JoCaml is based on the join calculus. This model is characterized by an explicit notion...
  • Gallina

  • Referenced in 6 articles [sw27568]
  • Section The Vernacular. In Coq, logical objects are typed to ensure their logical correctness ... typing algorithm are described in Chapter Calculus of Inductive Constructions...
  • SKIL

  • Referenced in 2 articles [sw25433]
  • Since the object-level is constructive, terms of λ-calculus are constructed during the proof...
  • Tribe

  • Referenced in 4 articles [sw23217]
  • Tribe: a simple virtual class calculus. Beginning with BETA, a range of programming language mechanisms ... virtual classes (class-valued attributes of objects) have been developed to allow inheritance...
  • PyDEC

  • Referenced in 9 articles [sw06967]
  • computations related to the discretization of exterior calculus which includes numerical solution of partial differential ... efficient algorithms for constructing the operators and objects and related topological problems. Our algorithms...
  • MOMI

  • Referenced in 4 articles [sw09432]
  • MOMI: a calculus for mobile mixins. MOMI (Mobile Mixins) is a coordination language for mobile ... processes that communicate and exchange object-oriented code in a distributed context. MOMI...
  • LBS

  • Referenced in 14 articles [sw12372]
  • with modularity. It is based on the Calculus of Biochemical Systems (CBS) which affords modular ... specific choice of target semantical objects. Examples of such structures for the specific cases...
  • Sibyl

  • Referenced in 6 articles [sw11995]
  • hierarchies. It is based on a tableau calculus that is provably terminating and complete, provided ... Publications page. Sibyl is implemented in Objective Caml and runs under Linux. Some parts...
  • TensoriaCalc

  • Referenced in 1 article [sw32179]
  • calculus problems encountered in general relativity, cosmology, and field theory. Currently, it calculates geometric objects...