Back to Results
First PageMeta Content
Predicate transformer semantics / Hoare logic / Partial redundancy elimination / Program logic / Theoretical computer science / Formal methods


Proof Optimization for Partial Redundancy Elimination Ando Saabas Tarmo Uustalu Institute of Cybernetics, Tallinn University of Technology
Add to Reading List

Document Date: 2007-12-06 06:23:54

Open Document

File Size: 379,60 KB

Share Result on Facebook

City

San Francisco / Tallinn / /

Country

Estonia / United States / /

Currency

pence / USD / /

/

Facility

Partial Redundancy Elimination Ando Saabas Tarmo Uustalu Institute of Cybernetics / Tallinn University / /

IndustryTerm

type systems / little more infrastructure / /

Organization

Tallinn University of Technology Akadeemia / Partial Redundancy Elimination Ando Saabas Tarmo Uustalu Institute of Cybernetics / /

Position

Copyright The code producer / code producer / producer / Program analysis General / /

ProvinceOrState

California / /

Technology

technology of automatic transformation / PRE algorithm / technology of proof optimization / av / /

SocialTag