Categorical semantics of parallel program design
type: Item
instance of: scholarly article
title: Categorical semantics of parallel program design
zbMATH Open document ID: 0877.68080
DOI: 10.1016/S0167-6423(96)00025-1
author: José Fiadeiro
author: Tim Maibaum
published in: Science of Computer Programming
publication date: 1997-12-08T00:00:00Z
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 68N99
zbMATH DE Number: 1022177
zbMATH Keywords: modularisation techniques
zbMATH Keywords: reusability
zbMATH Keywords: modularity
zbMATH Keywords: incrementality
zbMATH Keywords: system design
MaRDI profile type: Publication
full work available at URL: s0167-6423(96)00025-1
OpenAlex ID: W2162034401
Recommended article: Q4309095
Recommended article: Categorical description of asynchronous parallel computations
Recommended article: Q4725761
Recommended article: Q3747739
Recommended article: Denotational semantics of a parallel object-oriented language
Recommended article: Toward a Formal Semantic Framework for Deterministic Parallel Programming
Recommended article: Formalizing Parallel Programming in Large Scale Distributed Networks: From Tasks Parallel and Data Parallel to Applied Categorical Structures
Recommended article: Q3685165
Recommended article: Q3787983
Recommended article: Structural synthesis of parallel programs (methodology and tools)
description: scientific article; zbMATH DE number 1022177