scientific article; zbMATH DE number 1852161

zbMATH Open1002.68621MaRDI QIDQ4787232FDOQ4787232

Richard Sharp, Alan Mycroft

Publication date: 9 January 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2144/21440228

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

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Theory of compilers and interpreters (68N20) Mathematical problems of computer architecture (68M07)

Cited In (6)

• Higher-level hardware synthesis.
• SIMD language design using prescriptive semantics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Uses Software

• SAFL

   Recommendations

• Title not available (Why is that?) 👍 👎
• Correct hardware synthesis 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• 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 Q4787232)