
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 10 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 51 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 49 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...

Chebfun2
 Referenced in 35 articles
[sw12708]
 which in turn are represented as Chebfun objects. The socalled low rank approximations ... singular value decomposition, root finding, and vector calculus...

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 71 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...

DIMSYM
 Referenced in 73 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 27 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 26 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...

LBS
 Referenced in 15 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...

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...

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...

PROC GA
 Referenced in 1 article
[sw37271]
 where other calculusbased techniques do not work, such as when the objective function...