The following pages link to Shriram Krishnamurthi (Q856915):
Displayed 19 items.
- Semantics and scoping of aspects in higher-order languages (Q856916) (← links)
- CompoSAT: specification-guided coverage for model finding (Q2024373) (← links)
- Implementation and use of the PLT scheme web server (Q2464729) (← links)
- (Q2736594) (← links)
- (Q2763670) (← links)
- Continuations from generalized stack inspection (Q2936785) (← links)
- Hygienic resugaring of compositional desugaring (Q2981945) (← links)
- Typing Local Control and State Using Flow Analysis (Q3000584) (← links)
- Cryptographic Protocol Explication and End-Point Projection (Q3533965) (← links)
- Specifying and Reasoning About Dynamic Access-Control Policies (Q3613438) (← links)
- DrScheme: a programming environment for Scheme (Q4331137) (← links)
- (Q4415091) (← links)
- (Q4415111) (← links)
- (Q4417897) (← links)
- (Q4738347) (← links)
- (Q4738467) (← links)
- Modeling Web Interactions and Errors (Q4928707) (← links)
- EDUCATIONAL PEARL: Automata via macros (Q5472305) (← links)
- Programming Languages and Systems (Q5899022) (← links)