
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 multiprofile 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 objectoriented ... 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 highlevel constraint objectoriented query languages as well ... CCUBE data manipulation language, Constraint Comprehension Calculus, is an integration of a constraint calculus ... constraint calculus is based on constraint spatiotemporal (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 picalculus  has been used as a theoretical foundation ... higherorder 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 socalled 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 objectoriented 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 objectlevel 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 (classvalued 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 objectoriented 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...