Pre-Grant Publication Number: 20080172657
View Prior Art submitted by the community. You can see full text, rate and annotate the Prior Art by clicking on
any of the listed Prior Art references. You can also click on the name of the person who submitted art to view their profile
and any other Prior Art they have previously submitted.
How to Rate Prior Art
Rating Prior Art - Click the thumbs up or down to indicate if a submission is relevant enough to the claims of the application to deserve a spot in the Top 10 submissions that will be forwarded to the patent examiner. Rating should be based only on relevance. For an explanation of prior art, please visit the Tutorial Page.
Rating Prior Art - Click the thumbs up or down to indicate if a submission is relevant enough to the claims of the application to deserve a spot in the Top 10 submissions that will be forwarded to the patent examiner. Rating should be based only on relevance. For an explanation of prior art, please visit the Tutorial Page.
Prior Art (2)
Title Proceecdings of the 14th International Conference on Supercomputing
ISBN
Description
See excerpt
Title 2002 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'02)
ISBN
Description
This paper provides a preliminary report on a new research project that aims to construct a code generator that uses an automatic theorem prover to produce a very high-quality (in fact, nearly mathematically optimal) machine code for modern architectures.
