An “executable” impredicative semantics for the Ada configuration A. BucciP. InverardiS. Martini OriginalPaper Pages: 91 - 120
The applicability of discrete performance estimation methods to VLSI design Alan Williams OriginalPaper Pages: 152 - 176