Travelled to:1 × Switzerland
2 × USA
Collaborated with:C.A.Gunter J.Lipton M.V.Inwegen J.G.Riecke
Talks about:proof (2) procedur (1) interfac (1) provabl (1) languag (1) graphic (1) checker (1) memori (1) linear (1) invari (1)
Person: Jawahar Chirimar
DBLP: Chirimar:Jawahar
Contributed to:
1992
1992
1991Wrote 3 papers:
- CADE-1992-ChirimarGI #interface #named #performance #proving #visual notation
- Xpnet: A Graphical Interface to Proof Nets with an Efficient Proof Checker (JC, CAG, MVI), pp. 711–715.
- LFP-1992-ChirimarGR #invariant #linear #logic #memory management #proving
- Proving Memory Management Invariants for a Language Based on Linear Logic (JC, CAG, JGR), pp. 139–150.
- CSL-1991-ChirimarL
- Provability in TBLL: A Decision Procedure (JC, JL), pp. 53–67.