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: Paperback
• Language: English
• ISBN: 9401737916
• ISBN13: 9789401737913
• Release Date: October 2013
• Publisher: Springer
• Length: 320 Pages
• Weight: 1.03 lbs.
• Dimensions: 0.7" x 6.1" x 9.2"