Synthesis of Data Views for Communicating Processes
From MaRDI portal
Publication:5504601
DOI10.1007/978-3-540-78769-3_13zbMath1179.68026MaRDI QIDQ5504601
Publication date: 22 January 2009
Published in: Logic-Based Program Synthesis and Transformation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-78769-3_13
68N18: Functional programming and lambda calculus
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Cites Work