Jawahar Chirimar

According to our database, Jawahar Chirimar authored at least 5 papers between 1991 and 1996.

Collaborative distances:

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

1996

Reference Counting as a Computational Interpretation of Linear Logic.

Jawahar Chirimar, Carl A. Gunter, Jon G. Riecke

J. Funct. Program., 1996

1992

Proving Memory Management Invariants for a Language Based on Linear Logic.

Jawahar Chirimar, Carl A. Gunter, Jon G. Riecke

Proceedings of the Conference on Lisp and Functional Programming, 1992

Xpnet: A Graphical Interface to Proof Nets with an Efficient Proof Checker.

Jawahar Chirimar, Carl A. Gunter, Myra Van Inwegen

Proceedings of the Automated Deduction, 1992

1991

Provability in TBLL: A Decision Procedure.

Jawahar Chirimar, James Lipton

Proceedings of the Computer Science Logic, 5th Workshop, 1991

Implementing Constructive Real Analysis: Preliminary Report.

Jawahar Chirimar, Douglas J. Howe

Proceedings of the Constructivity in Computer Science, 1991