Decidability of the analysis problem for dataflow models of programs

DOI10.1023/A:1023896821228zbMath1101.68473OpenAlexW113371455MaRDI QIDQ2487118

V. V. Toporkov

Publication date: 17 August 2005

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

Full work available at URL: https://doi.org/10.1023/a:1023896821228

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Supporting schedules of resource co-allocation for distributed computing in scalable systems

This page was built for publication: Decidability of the analysis problem for dataflow models of programs