BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Chirimar:Jawahar

Contributed to:

CADE 19921992
LFP 19921992
CSL 19911991

Wrote 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.
Provability in TBLL: A Decision Procedure (JC, JL), pp. 53–67.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.