Concepedia

Stoltz

ST

1

Publications

26

Citations

1

H-Index

1994

Active since

Affiliations

Oregon Museum of Science and Industry(Current)

Stoltz is an author at Oregon Museum of Science and Industry specializing in formal methods, computer science, and intermediate representations.

Top concepts

CompilersEngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisParallel ComputingFormal VerificationSystems EngineeringComputer Engineering

Publications per year

1994–1994

1

Publications

1

Extended SSA with factored use-def chains to support optimization and parallelism

Stoltz, Gerlek, Wolfe · 1994 · 26 citations

Engineering, Compiler Technology, Factored Use-def Chains +25

Rows per page

1–1 of 1