1071 search results - page 10 / 215 » The Calculus of Algebraic Constructions |
ENTCS
2002
13 years 9 months ago
2002
Category theory has proved a useful tool in the study of type systems for sequential programming languages. Various approaches have been proposed to use categorical models to exam...
FORMATS
2003
Springer
14 years 2 months ago
2003
Springer
We present a process algebra suitable to the modelling of timed concurrent systems and to their efficient verification through model checking. The algebra is provided with two con...
FOSSACS
2007
Springer
14 years 3 months ago
2007
Springer
The last few years have seen the development of the rewriting calculus (also called rho-calculus or ρ-calculus) that uniformly integrates first-order term rewriting and λ-calcul...
PROCOMET
1998
13 years 11 months ago
1998
A convention is proposed for embedding program statements into Dijkstra's calculus, with the aim of simplifying the stepwise construction of programs.
WADT
1998
Springer
14 years 1 months ago
1998
Springer
Abstract. Hidden algebra is a behavioural algebraic specification formalism for objects. It captures their constructional aspect, concerned with the initialisation and evolution of...