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

Jawahar Chirimar Vis

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

*1996
5 Jawahar Chirimar, Carl A. Gunter, Jon G. Riecke: Reference Counting as a Computational Interpretation of Linear Logic. J. Funct. Program. 6(2): 195-244 (1996)
1992
4EEJawahar Chirimar, Carl A. Gunter, Myra Van Inwegen: Xpnet: A Graphical Interface to Proof Nets with an Efficient Proof Checker. CADE 1992: 711-715
3EEJawahar Chirimar, Carl A. Gunter, Jon G. Riecke: Proving Memory Management Invariants for a Language Based on Linear Logic. LISP and Functional Programming 1992: 139-150
1991
2EEJawahar Chirimar, James Lipton: Provability in TBLL: A Decision Procedure. CSL 1991: 53-67
1 Jawahar Chirimar, Douglas J. Howe: Implementing Constructive Real Analysis: Preliminary Report. Constructivity in Computer Science 1991: 165-178

Coauthor Index

1Carl A. Gunter [3] [4] [5]
2Douglas J. Howe [1]
3Myra Van Inwegen [4]
4James Lipton [2]
5Jon G. Riecke [3] [5]

Colors in the list of coauthors

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