Q1202093
type: Item
instance of: scholarly article
title: 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)
zbMATH Open document ID: 0875.00091
DOI: 10.1007/3-540-53981-6
published in: Lecture Notes in Computer Science
publication date: 1993-01-23T00:00:00Z
review text: 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]
Mathematics Subject Classification ID: 00B25
Mathematics Subject Classification ID: 68-06
Mathematics Subject Classification ID: 68Nxx
zbMATH DE Number: 108199
zbMATH Keywords: Brighton (GB)
zbMATH Keywords: TAPSOFT '91
zbMATH Keywords: Software development
zbMATH Keywords: Conference
zbMATH Keywords: Proceedings
zbMATH Keywords: Distributed computing
zbMATH Keywords: Combining paradigms
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1007/3-540-53981-6
OpenAlex ID: W4250891077
Recommended article: Q1202092
Recommended article: TAPSOFT '93: theory and practice of software development. 4th international joint conference CAAP/FASE, Orsay, France, April 13--17, 1993. Proceedings
Recommended article: Q1084083
Recommended article: TAPSOFT '95: Theory and practice of software development. 6th international joint conference CAAP/FASE, Aarhus, Denmark, May 1995. Proceedings
Recommended article: Q4001921
Recommended article: Q1084082
Recommended article: Selected papers of TAPSOFT '95: Theory and practice of software development. Aarhus, Denmark, May 1995
Recommended article: A decade of TAPSOFT
Recommended article: Theoretical aspects of computer software. International conference TACS '91, Sendai, Japan, September 24--27, 1991. Proceedings
Recommended article: Q4291310
label: 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)
description: scientific article; zbMATH DE number 108199