Back to Results
First PageMeta Content
Programming language implementation / Compiler construction / Compilers / GNU Compiler Collection / Compiler / X86 / Static single assignment form / Register transfer language / Instruction set / Software / Computing / Computer architecture


Checking Correctness of Code Generator Architecture Specifications ∗ Niranjan Hasabnis Rui Qiao
Add to Reading List

Document Date: 2015-02-26 08:58:27

Open Document

File Size: 319,21 KB

Share Result on Facebook

Company

States SA / RTL / Assembly State SA / Intel / /

Currency

USD / /

Facility

Niranjan Hasabnis Rui Qiao R. Sekar Stony Brook University / /

IndustryTerm

assembler gas / arithmetic shift operator / software pack / architecture-specific solution / large software suites / software packages / i7 processor / constraint propagation algorithm / /

OperatingSystem

Linux / GNU / /

Organization

Niranjan Hasabnis Rui Qiao R. Sekar Stony Brook University / National Science Foundation / /

Person

Ai / /

Position

initializing interpreter / interpreter for that IR / IR interpreter / compiler writer / representative / single representative / Start States S1 S2 IR Interpreter / interpreter / programmer / /

Product

x86 / /

ProgrammingLanguage

Prolog / C / C++ / /

ProvinceOrState

Maryland / /

Technology

real processor / Linux / constraint propagation algorithm / virtual memory / i7 processor / mapping rule The algorithm / /

SocialTag