Thesis

  • Yue Niu

Entries

■ Reference. Cost-sensitive programming, verification, and semantics [niu-thesis]

■ Reference. A cost-aware logical framework [niu-proposal]