Synthesis of parallel recursive programs in structural functional models

DOI10.1134/S0361768807050052zbMath1154.68356MaRDI QIDQ927456

V. B. Novoseltsev

Publication date: 9 June 2008

Published in: Programming and Computer Software (Search for Journal in Brave)

zbMATH Keywords

nonprocedural specifications

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Related Items (2)

Interpretable program specification language ⋮ Automatic synthesis of action programs for intelligent robots

Cites Work

• Unnamed Item

This page was built for publication: Synthesis of parallel recursive programs in structural functional models