TAPSOFT '91. Proceedings of the international joint conference on theory and practice of software development, Brighton, GB, April 8-12, 1991. Vol. 2: Advances in distributed computing (ADC) and Colloquium on combining paradigms for software development (CCPSD) (Q1202093)

The articles of mathematical interest will be reviewed individually. Indexed articles: \textit{de Bakker, J. W.; de Vink, E. P.}, CCS for OO and LP, 1-28 [Zbl 0967.68525] \textit{Ferrari, Gian Luigi; Gorrieri, Roberto; Montanari, Ugo}, An extended expansion theorem, 29-48 [Zbl 0967.68513] \textit{Ramalingam, G.; Reps, Thomas}, A theory of program modifications, 137-152 [Zbl 0967.68504] \textit{Bossi, A.; Cocco, N.; Fabris, M.}, Proving termination of logic programs by exploiting term properties, 153-180 [Zbl 0967.68531] \textit{Hanus, Michael}, Parametric order-sorted types in logic programming, 181-200 [Zbl 0967.68508] \textit{Burn, G. L.}, The evaluation transformer model of reduction and its correctness, 458-482 [Zbl 0967.68532]