Piton: A Mechanically Verified Assembly-Level Language

by

Write The First Customer Review

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 the piton, the climber clips the rope to the piton, using slings and ...

Piton: A Mechanically Verified Assembly-Level Language 2013, Springer

ISBN-13: 9789401737913

Softcover Reprint of the Origi edition

Trade paperback

Select
Piton: A Mechanically Verified Assembly-Level Language 1996, Springer, Dordrecht, Netherlands

ISBN-13: 9780792339205

1996 edition

Hardcover

Select