Searching for authors named "Shriram Krishnamurthi" – sorted by Relevance.
50 documents found, showing 1 through 10.
Next 10 →
-
The CONTINUE server (or, how I administered PADL 2002 and 2003
- …The Continue Server (or, How I Administered PADL 2002 and 2003) Shriram Krishnamurthi ⋆ Computer…
- Cited by 9 (1 self) – Add To MetaCart
-
Lecture Notes on the Principles of Programming Languages
- …Lecture Notes on the Principles of Programming Languages Shriram Krishnamurthi and Matthias…
- Add To MetaCart
-
Modular Verification of Feature-Oriented Software Models
- … Abstract Shriram Krishnamurthi Computer Science Department Brown University Providence, RI, 02912 USA sk…
- Cited by 1 (1 self) – Add To MetaCart
-
SXSLT: Manipulation language for XML
- … SXSLT: Manipulation Language for XML Oleg Kiselyov1 and Shriram Krishnamurthi2 1 FNMOC oleg…
- Cited by 5 (0 self) – Add To MetaCart
-
Modular Verification of Collaboration-Based Software Designs
- … ���¥����������������¦�¢¥��¤�����������¢���¨�¤�¦�¢���¢������¥��¢�����¦�����¨����£��������¨���¨���¦���¨���� � ��¢¥��¨�����������¨���¦���¨©����¦�¢���¤������¥��¦���¨©����¦�������¤�¨�¤�� � ¨�� ¦�����¨�¤ Shriram Krishnamurthi Computer Science Department Brown University Providence, RI, 02912 USA sk…
- Cited by 25 (9 self) – Add To MetaCart
-
Decomposing Verification Around End-User Features ⋆
- …Decomposing Verification Around End-User Features ⋆ Kathi Fisler 1 and Shriram Krishnamurthi 2 1…
- Add To MetaCart
-
Toward a Formal Theory of Extensible Software
- …Toward a Formal Theory of Extensible Software Shriram Krishnamurthi Matthias Felleisen Department…
- Cited by 7 (1 self) – Add To MetaCart
-
Alchemy: Transmuting Base Alloy Specifications into Implementations ABSTRACT
- …Alchemy: Transmuting Base Alloy Specifications into Implementations ABSTRACT Shriram Krishnamurthi…
- Cited by 2 (1 self) – Add To MetaCart
-
Verifying Cross-Cutting Features as Open Systems
- …, Charleston, SC, USA. Copyright 2002 ACM 1-58113-514-9/02/0011 ...$5.00. Shriram Krishnamurthi Computer…
- Cited by 14 (2 self) – Add To MetaCart
-
The Influence of Software Module Systems on Modular Verification
- … ¡ and Shriram Krishnamurthi ¢ Department of Computer Science, Worcester Polytechnic £ Institute Computer…
- Cited by 1 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
