Verification of the correctness of compiler optimization using co-induction

DOI10.1080/09720529.2007.10698123zbMath1124.68059OpenAlexW1970097574WikidataQ121770600 ScholiaQ121770600MaRDI QIDQ5421199

N. Sairam, M. Thiyagarajan

Publication date: 22 October 2007

Published in: Journal of Discrete Mathematical Sciences and Cryptography (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/09720529.2007.10698123

zbMATH Keywords

compiler optimizationKATco-algebramixed automata

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• A completeness theorem for Kleene algebras and the algebra of regular events
• A note on Coinduction and Weak Bisimilarity for While Programs
• Derivatives of Regular Expressions
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Verification of the correctness of compiler optimization using co-induction