Searching for authors named "Patrick Lam" – sorted by Relevance.
23 documents found, showing 1 through 10.
Next 10 →
-
Cellular Universal IP: A Low Delay Mobility Scheme based
- …Cellular Universal IP: A Low Delay Mobility Scheme based on Universal IP Addressing Patrick P. Lam…
- Cited by 1 (1 self) – Add To MetaCart
-
A type system and analysis for the automatic extraction and enforcement of design information
- … Patrick Lam Martin Rinard Laboratory for Computer Science Massachusetts Institute of Technology…
- Cited by 24 (0 self) – Add To MetaCart
-
A Language for Role Specifications
- …A Language for Role Specications Viktor Kuncak, Patrick Lam, and Martin Rinard Laboratory…
- Cited by 3 (3 self) – Add To MetaCart
-
Roles Are Really Great!
- …! Viktor Kuncak, Patrick Lam, and Martin Rinard Laboratory for Computer Science Massachusetts Institute…
- Cited by 9 (6 self) – Add To MetaCart
-
On modular pluggable analyses using set interfaces
- …On Modular Pluggable Analyses Using Set Interfaces Patrick Lam, Viktor Kuncak, and Martin Rinard…
- Cited by 8 (5 self) – Add To MetaCart
-
Hob: A Tool for Verifying Data Structure Consistency
- …Hob: A Tool for Verifying Data Structure Consistency Patrick Lam, Viktor Kuncak, and Martin Rinard…
- Cited by 12 (8 self) – Add To MetaCart
-
Implications of a data structure consistency checking system
- …Implications of a Data Structure Consistency Checking System Viktor Kuncak, Patrick Lam, Karen Zee…
- Cited by 3 (1 self) – Add To MetaCart
-
Cross-cutting techniques in program specification and analysis
- …Crosscutting Techniques in Program Specification and Analysis ABSTRACT Patrick Lam, Viktor Kuncak…
- Cited by 14 (8 self) – Add To MetaCart
-
Combining theorem proving with static analysis for data structure consistency
- …, Patrick Lam, Viktor Kuncak, and Martin Rinard Computer Science and Artificial Intelligence Laboratory…
- Cited by 20 (15 self) – Add To MetaCart
-
On Our Experience with Modular Pluggable Analyses
- … On Our Experience with Modular Pluggable Analyses Patrick Lam, Viktor Kuncak, and Martin Rinard…
- Cited by 16 (14 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
