Searching for authors named "Jawahar Chirimar" – sorted by Relevance.
5 documents found, showing 1 through 5.
-
Provability in TBLL: A Decision Procedure
- …Provability in TBLL: A Decision Procedure Jawahar Chirimar CIS University of Pennsylvania…
- Cited by 4 (0 self) – Add To MetaCart
-
Provability in TBLL: A Decision Procedure
- …Provability in TBLL: A Decision Procedure Jawahar Chirimar CIS University of Pennsylvania…
- Add To MetaCart
-
Proof Theoretic Approach To Specification Languages
- …PROOF THEORETIC APPROACH TO SPECIFICATION LANGUAGES JAWAHAR LAL CHIRIMAR A DISSERTATION IN COMPUTER…
- Cited by 34 (0 self) – Add To MetaCart
-
Reference Counting as a Computational Interpretation of Linear Logic
- …Reference Counting as a Computational Interpretation of Linear Logic Jawahar Chirimar Lehman…
- Cited by 27 (0 self) – Add To MetaCart
-
Proving Memory Management Invariants for a Language Based on Linear Logic
- …Proving Memory Management Invariants for a Language Based on Linear Logic Jawahar Chirimar Carl…
- Cited by 23 (2 self) – Add To MetaCart
Showing 1 through 5.
