Searching for authors named "Dino Oliva" – sorted by Relevance.
13 documents found, showing 1 through 10.
Next 10 →
-
Baseline Performance Measurements of Un-optimized Generated Code
- …9 6 1318912 175:2 606208 3:9 2:17568 44:9231 7 0 0 0 0 N/A N/A Table 5: Task 7 Performance Measurements Task MTV-G Templates MTV-G/Templates Revision Size Time Size Time Size Time 0 737280 74:1 466944 2 1:57895 37:05 Table 6: Task 9 Performance Measurements Task MTV-G Templates MTV-G/Templates Revi…
- Cited by 3 (0 self) – Add To MetaCart
-
Advice On Structuring Compiler Back Ends And Proving Them Correct
- … of the Requirements for the Degree of Doctor of Philosophy by Dino P. Oliva January c fl Dino P. Oliva, 1994 ALL…
- Cited by 5 (2 self) – Add To MetaCart
-
A Verified Compiler for Pure PreScheme
- …A Veried Compiler for Pure PreScheme: Final Report for Contract Number F19628-89-C-001 Dino P…
- Add To MetaCart
-
A Verified Run-Time Structure for Pure PreScheme
- …A Veried Run-Time Structure for Pure PreScheme Dino P. Oliva Mitchell Wand College of Computer…
- Add To MetaCart
-
Subtransitive CFA using Types
- … Heintze Dino Oliva Yale University Bell Laboratories Bell Laboratories New Haven, CT Murray Hill, NJ…
- Cited by 3 (0 self) – Add To MetaCart
-
From ML to Ada: Strongly-typed Language Interoperability via Source Translation
- …, OR, 97207-0751, USA email: apt@(email omitted); DINO P. OLIVA 2 Pacific Software Research Center…
- Cited by 48 (3 self) – Add To MetaCart
-
Proving the Correctness of Storage Representations
- …Proving the Correctness of Storage Representations Mitchell Wand and Dino P. Oliva College…
- Cited by 21 (6 self) – Add To MetaCart
-
The VLISP Verified PreScheme Compiler
- … Verified PreScheme Compiler DINO P. OLIVA * oliva@(email omitted); College of Computer Science 161 Cullinane…
- Cited by 16 (5 self) – Add To MetaCart
-
Advice On Structuring Compiler Back Ends And Proving Them Correct
- … of the Requirements for the Degree of Doctor of Philosophy by Dino P. Oliva January 1994 c fl Dino P. Oliva, 1994 ALL…
- Add To MetaCart
-
A verified compiler for VLISP PreScheme
- … Publishers { Manufactured in The Netherlands A Veried Compiler for VLISP PreScheme DINO P. OLIVA (oliva…
- Cited by 1 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
