Dino Oliva

According to our database, Dino Oliva authored at least 10 papers between 1992 and 2004.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2004

Aspects de la Programmation d'Applications Win32 avec un Langage Fonctionnel

Riccardo Pucella, Erik Meijer, Dino Oliva

CoRR, 2004

Cryptonite - A Programmable Crypto Processor Architecture for High-Bandwidth Applications.

Rainer Buchty, Nevin Heintze, Dino Oliva

Proceedings of the Organic and Pervasive Computing, 2004

2003

AES and the cryptonite crypto processor.

Dino Oliva, Rainer Buchty, Nevin Heintze

Proceedings of the International Conference on Compilers, 2003

1998

From ML to Ada: Strongly-Typed Language Interoperability via Source Translation.

Andrew P. Tolmach, Dino Oliva

J. Funct. Program., 1998

1997

C-: A Portable Assembly Language.

Simon L. Peyton Jones, Thomas Nordin, Dino Oliva

Proceedings of the Implementation of Functional Languages, 9th International Workshop, 1997

1996

A Software Engineering Experiment in Software Component Generation.

Richard B. Kieburtz, Laura McKinney, Jeffrey M. Bell, James Hook, Alex Kotov, Jeffrey Lewis, Dino Oliva, Tim Sheard, Ira Smith, Lisa Walton

Proceedings of the 18th International Conference on Software Engineering, 1996

1995

The VLISP Verified PreScheme Compiler.

Dino Oliva, John D. Ramsdell, Mitchell Wand

LISP Symb. Comput., 1995

Calculating Software Generators from Solution Specifications.

Richard B. Kieburtz, Françoise Bellegarde, Jeffrey M. Bell, James Hook, Jeffrey Lewis, Dino Oliva, Tim Sheard, Lisa Walton, Tong Zhou

Proceedings of the TAPSOFT'95: Theory and Practice of Software Development, 1995

1994

Software design for reliability and reuse: a proof-of-concept demonstration.

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

Proceedings of the 1994 Conference on TRI-Ada 1994, 1994

1992

Proving the Correctness of Storage Representations.

Mitchell Wand, Dino Oliva

Proceedings of the Conference on Lisp and Functional Programming, 1992