UTP Semantics for Handel-C

DOI10.1007/978-3-642-14521-6_9zbMath1286.68035OpenAlexW1611666152MaRDI QIDQ3585027

Juan I. Perna, J. C. P. Woodcock

Publication date: 31 August 2010

Published in: Unifying Theories of Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-14521-6_9

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Related Items (5)

Unifying Theories of Programming in Isabelle ⋮ Mechanised wire-wise verification of Handel-C synthesis ⋮ Towards a UTP Semantics for Modelica ⋮ A denotational semantics for Handel-C ⋮ Isabelle/UTP: A Mechanised Theory Engineering Framework

Uses Software

• Handel-C

This page was built for publication: UTP Semantics for Handel-C