Back to Results
First PageMeta Content
Logic in computer science / Programming language semantics / Models of computation / Formal methods / Procedural programming languages / Static single assignment form / Denotational semantics / Continuation-passing style / Statement / Software engineering / Computing / Theoretical computer science


In and Out of SSA: A Denotational Specification Sebastian Pop, Pierre Jouvelot†, Georges-Andr´e Silber† Open Source Compiler Engineering, Advanced Micro Devices Inc., Austin, Texas, † ´ CRI, Ecole
Add to Reading List

Document Date: 2010-06-03 03:55:11

Open Document

File Size: 250,88 KB

Share Result on Facebook

City

Ballance / Austin / /

Company

Cambridge University Press / Intel / Advanced Micro Devices Inc. / /

Country

France / /

/

IndustryTerm

by-products / optimization algorithms / transformation algorithms / compiler optimization algorithms / graph-based algorithms / computing / conversion algorithms / software engineering tools / graph algorithms / /

OperatingSystem

GNU / /

Organization

Cambridge University / General Services Administration / /

Person

Addison Wesley / Sebastian Pop / Neil Jones / Pierre Jouvelot / Albert Cohen / Irigoin Cohen / Ken Zadeck / /

Position

editor / tackle / Major / Denotational Semantics General / /

ProgrammingLanguage

E / Ada / Fortran / Java / L / J / Erlang / Common Lisp / R / C / C++ / /

ProvinceOrState

A. B. / Texas / /

PublishedMedium

Journal of the ACM / IEEE Transactions on Software Engineering / /

Technology

functional programming / graph algorithms / RAM / GSA conversion algorithms / Java / transformation algorithms / SSA-based optimization algorithms / optimization algorithms / SSA optimizing technology / SSA technology / Dom / simulation / graph-based algorithms / compiler optimization algorithms / /

SocialTag