The following pages link to Michael I. Schwartzbach (Q685349):
Displaying 16 items.
- (Q532413) (redirect page) (← links)
- XML graphs in program analysis (Q532414) (← links)
- Interpretations of recursively defined types (Q685350) (← links)
- The metafront system: safe and extensible parsing and transformation (Q995468) (← links)
- A new formalism for relational algebra (Q1186599) (← links)
- Safety analysis versus type inference for partial types (Q1199876) (← links)
- Injectivity of composite functions (Q1333155) (← links)
- Static typing for object-oriented programming (Q1336775) (← links)
- Efficient inference of partial types (Q1337466) (← links)
- Static correctness of hierarchical procedures (Q1351792) (← links)
- The DSD schema language (Q1857291) (← links)
- Safety analysis versus type inference (Q1891140) (← links)
- (Q2708973) (← links)
- (Q2729054) (← links)
- (Q2736357) (← links)
- MONA IMPLEMENTATION SECRETS (Q3021971) (← links)
