Jawahar Chirimar

Publication Activity (10 Years)

Years Active: 1991-1996
Publications (10 Years): 0

Publications

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