Login / Signup

A Hierarchical Method for Reasoning about Distributed Programming Languages.

Cui ZhangBrian R. BeckerMark R. HeckmanKarl N. LevittRonald A. Olsson
Published in: TPHOLs (1995)
Keyphrases
  • programming language
  • general purpose
  • higher order
  • databases
  • distributed systems
  • lambda calculus