scientific article; zbMATH DE number 1956567

zbMATH Open1032.68059MaRDI QIDQ4417907FDOQ4417907

Atsushi Ohori

Publication date: 30 July 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2618/26180399.htm

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Logic in computer science (03B70)

Cited In (2)

• Correctness of transformations on register transfers
• Register allocation by proof transformation

   Recommendations

• Register allocation by proof transformation 👍 👎
• Register allocation: A program-algebraic approach 👍 👎
• Register Allocation in Structured Programs 👍 👎
• A Framework for End-to-End Verification and Evaluation of Register Allocators 👍 👎
• Title not available (Why is that?) 👍 👎

This page was built for publication:

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