The Krukenberg procedure, also known as the Krukenberg operation, is a surgical technique that converts a forearm stump into a pincer.