Dino Oliva

Publication Activity (10 Years)

Years Active: 1992-2004
Publications (10 Years): 0

Publications

Rainer Buchty, Nevin Heintze, Dino Oliva
Cryptonite - A Programmable Crypto Processor Architecture for High-Bandwidth Applications. ARCS (2004)
Riccardo Pucella, Erik Meijer, Dino Oliva
Aspects de la Programmation d'Applications Win32 avec un Langage Fonctionnel CoRR (2004)
Dino Oliva, Rainer Buchty, Nevin Heintze
AES and the cryptonite crypto processor. CASES (2003)
Andrew P. Tolmach, Dino Oliva
From ML to Ada: Strongly-Typed Language Interoperability via Source Translation. J. Funct. Program. 8 (4) (1998)
Simon L. Peyton Jones, Thomas Nordin, Dino Oliva
C-: A Portable Assembly Language. Implementation of Functional Languages (1997)
Richard B. Kieburtz, Laura McKinney, Jeffrey M. Bell, James Hook, Alex Kotov, Jeffrey Lewis, Dino Oliva, Tim Sheard, Ira Smith, Lisa Walton
A Software Engineering Experiment in Software Component Generation. ICSE (1996)
Dino Oliva, John D. Ramsdell, Mitchell Wand
The VLISP Verified PreScheme Compiler. LISP Symb. Comput. 8 (1-2) (1995)
Richard B. Kieburtz, Françoise Bellegarde, Jeffrey M. Bell, James Hook, Jeffrey Lewis, Dino Oliva, Tim Sheard, Lisa Walton, Tong Zhou
Calculating Software Generators from Solution Specifications. TAPSOFT (1995)
Jeffrey M. Bell, Françoise Bellegarde, James Hook, Richard B. Kieburtz, Alex Kotov, Jeffrey Lewis, Laura McKinney, Dino Oliva, Tim Sheard, L. Tong, Lisa Walton, Tong Zhou
Software design for reliability and reuse: a proof-of-concept demonstration. TRI-Ada (1994)
Mitchell Wand, Dino Oliva
Proving the Correctness of Storage Representations. LISP and Functional Programming (1992)