Abstract State Machines 2004. Advances in Theory and Practice

DOI10.1007/B98118zbMATH Open1188.68178OpenAlexW2498383994MaRDI QIDQ5901599

Sabine Glesner

Publication date: 30 April 2009

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

Full work available at URL: https://doi.org/10.1007/b98118

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Semantics in the theory of computing (68Q55)

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• A formal semantics of the GraalVM intermediate representation 👍 👎
• Partial SSA form: compact representation for programs with indirect memory operations 👍 👎
• A Logic for Reflective ASMs 👍 👎
• Formal Methods for Components and Objects 👍 👎

This page was built for publication: Abstract State Machines 2004. Advances in Theory and Practice

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