A novel WCET semantics of synchronous programs

DOI10.1007/978-3-319-44878-7_12zbMATH Open1433.68206OpenAlexW2517585486WikidataQ64454049 ScholiaQ64454049MaRDI QIDQ4603571FDOQ4603571

Authors: Michael Mendler, Partha Roop, Bruno Bodin 

Publication date: 16 February 2018

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://www.pure.ed.ac.uk/ws/files/26473689/main.pdf

Recommendations

• scientific article; zbMATH DE number 1361139
• The Esterel synchronous programming language: Design, semantics, implementation
• scientific article; zbMATH DE number 1435985
• Synchronous structures
• Verification, Model Checking, and Abstract Interpretation

Mathematics Subject Classification ID

Logic in computer science (03B70) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Semantics in the theory of computing (68Q55)

Cited In (4)

• The semantics and execution of a synchronous block-diagram language.
• Denotational fixed-point semantics for constructive scheduling of synchronous concurrency
• Deadlock and WCET analysis of barrier-synchronized concurrent programs
• Logic meets algebra: compositional timing analysis for synchronous reactive multithreading

This page was built for publication: A novel WCET semantics of synchronous programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4603571)