Synthesis of parallel recursive programs in structural functional models
type: Item
instance of: scholarly article
title: Synthesis of parallel recursive programs in structural functional models
zbMATH Open document ID: 1154.68356
DOI: 10.1134/S0361768807050052
author: V. B. Novoseltsev
published in: Programming and Computer Software
publication date: 2008-06-09T00:00:00Z
Mathematics Subject Classification ID: 68N19
zbMATH DE Number: 5285480
zbMATH Keywords: nonprocedural specifications
MaRDI profile type: Publication
cites work: Q3666280
description: scientific article; zbMATH DE number 5285480