SPEC Benchmark Suite: Designed for today’s advanced systems. SPEC Newsletter Vol 1, Issue 1, SPEC, Fall 1989. A. Program Semantics We describe a program semantics using small step operational semantics relations. We use σ = (H,L, P , in) to represent a st (0)

by Joseph Uniejewski