Piton: A Mechanically Verified Assembly-Level Language

by J. Strother Moore

Mountaineers use pitons to protect themselves from falls. The lead climber wears a harness to which a rope is tied. As the climber ascends, the rope is paid out by a partner on the ground. As described thus far, the climber receives no protection from the rope or the partner. However, the climber generally carries several spike-like pitons and stops when possible to drive one into a small crack or crevice in the rock face. After climbing just above...

• Format: Hardcover
• Language: English
• ISBN: 0792339207
• ISBN13: 9780792339205
• Release Date: January 1996
• Publisher: Springer
• Length: 320 Pages