Global and Local Space Properties of Stream Programs

DOI10.1007/978-3-642-15331-0_4zbMath1305.68055OpenAlexW1490257478MaRDI QIDQ5747630

Marco Gaboardi, Romain Péchoux

Publication date: 14 September 2010

Published in: Foundational and Practical Aspects of Resource Analysis (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/inria-00539835/file/main.pdf

Mathematics Subject Classification ID

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

Related Items (1)

Ramified Corecurrence and Logspace

This page was built for publication: Global and Local Space Properties of Stream Programs