Pre-Grant Publication Number: 20080172657
Please help the USPTO examine the application by evaluating the relevance of the publicly submitted prior art to the patent application.
Peer To Patent forwards the Top 10 most relevant prior art submissions and their annotations to the USPTO.
Review this prior art and click on the thumbs up (or down) to indicate whether this submission should be forwarded to the USPTO.
If you login then you can add an annotation by typing in the box at the bottom of the screen to comment on the relevance of the prior art to the claims of the patent application.
Review this prior art and click on the thumbs up (or down) to indicate whether this submission should be forwarded to the USPTO.
If you login then you can add an annotation by typing in the box at the bottom of the screen to comment on the relevance of the prior art to the claims of the patent application.
Prior Art Detail
Summary / Description
| Summary / 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. |
Basic Information
| Type of Prior Art | Print Publication |
| Publication Title * | 2002 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'02) |
| Author | Rajeev Joshi, Greg Nelson, Keith H. Randall |
| ISBN | |
| Page Range | 304-314 |
| Medium | Journal article |
| Publication Date * | June 17, 2002 |
| URL | |
Notes / To Do
| Notes | |
Excerpt
Excerpt 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. The code is not intended for use in an ordinary compiler, but it intended to be used for inner loops and critical subroutines in those cases where peak performance is required, no available compiler generates adequately efficient code,and where current engineering practice is to use hand-coded machine language. The paper describes the design of the superoptimizer, and presents some encouraging results. |
Relevance
Claims
1
Relevance
See, in particular "Translation Strategy" and "Axioms".
See, in particular "Translation Strategy" and "Axioms".
Claim Chart
All
