dblp.uni-trier.dewww.uni-trier.de

Dino Oliva Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2004
10EERainer Buchty, Nevin Heintze, Dino Oliva: Cryptonite - A Programmable Crypto Processor Architecture for High-Bandwidth Applications. ARCS 2004: 184-198
9EERiccardo Pucella, Erik Meijer, Dino Oliva: Aspects de la Programmation d'Applications Win32 avec un Langage Fonctionnel CoRR cs.PL/0405082: (2004)
2003
8EEDino Oliva, Rainer Buchty, Nevin Heintze: AES and the cryptonite crypto processor. CASES 2003: 198-209
1998
7 Andrew P. Tolmach, Dino Oliva: From ML to Ada: Strongly-Typed Language Interoperability via Source Translation. J. Funct. Program. 8(4): 367-412 (1998)
1997
6EESimon L. Peyton Jones, Thomas Nordin, Dino Oliva: C-: A Portable Assembly Language. Implementation of Functional Languages 1997: 1-19
1996
5EERichard 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: 542-552
1995
4EERichard 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: 546-560
3 Dino Oliva, John D. Ramsdell, Mitchell Wand: The VLISP Verified PreScheme Compiler. Lisp and Symbolic Computation 8(1-2): 111-182 (1995)
1994
2EEJeffrey 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: 396-404
1992
1EEMitchell Wand, Dino Oliva: Proving the Correctness of Storage Representations. LISP and Functional Programming 1992: 151-160

Coauthor Index

1Jeffrey M. Bell [2] [4] [5]
2Françoise Bellegarde (Françoise Bellegarde-Webb) [2] [4]
3Rainer Buchty [8] [10]
4Nevin Heintze [8] [10]
5James Hook [2] [4] [5]
6Simon L. Peyton Jones [6]
7Richard B. Kieburtz (Dick Kieburtz) [2] [4] [5]
8Alex Kotov [2] [5]
9Jeffrey Lewis [2] [4] [5]
10Laura McKinney [2] [5]
11Erik Meijer [9]
12Thomas Nordin [6]
13Riccardo Pucella [9]
14John D. Ramsdell [3]
15Tim Sheard [2] [4] [5]
16Ira Smith [5]
17Andrew P. Tolmach [7]
18L. Tong [2]
19Lisa Walton [2] [4] [5]
20Mitchell Wand [1] [3]
21Tong Zhou [2] [4]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)