Dijkstra'nın "GO TO ifadesine karşı bir dava" mektubunda eleştirdiği GOTO ifadesi, programlamada kontrol akışını doğrudan bir satıra veya etikete atlatarak karmaşık ve okunması zor kodlara yol açabilen tartışmalı bir yapıdır. Ancak, özellikle kaynak temizliği gibi belirli senaryolarda programcılar tarafından tercih edilen bir kullanım alanı da bulunmaktadır. Scheme gibi bazı modern dillerde GOTO doğrudan bulunmaz, bu da programcılara bu tür bir kontrol akışı esnekliğini sunmaz. Makale, Scheme'in güçlü call/cc (call-with-current-continuation) prosedürünü kullanarak GOTO benzeri bir kontrol akışının nasıl taklit edilebileceğini detaylandırıyor.
call/cc, adından da anlaşılacağı gibi, mevcut devamlılık (continuation) ile bir prosedürü çağıran bir fonksiyondur. Devamlılık, programın o anki yürütme durumunu ve o noktadan sonraki tüm hesaplamaları temsil eden bir "yakalanmış" bağlam gibidir. call/cc'ye bir prosedür verildiğinde, bu prosedür mevcut devamlılık ile çağrılır. Bu devamlılık daha sonra bir değişken içinde saklanabilir ve programın herhangi bir noktasında tekrar çağrılarak, programın o kaydedilen noktadan itibaren yürütülmesine devam etmesini sağlar. Bu, fonksiyon çağrılarının normal dönüş akışını bozan, ileri veya geri atlamalar yapma yeteneği sunar.
Bu mekanizma sayesinde, call/cc ile GOTO'nun temel işlevi olan "herhangi bir yere atlama" davranışı Scheme'de yeniden yaratılabilir. Makale, GOTO'nun BASIC ve C'deki çalışma prensiplerini açıklayarak başlıyor ve ardından call/cc'nin nasıl çalıştığını örneklerle gösteriyor. Sonuç olarak, call/cc'nin programcılara daha karmaşık ve esnek kontrol akışı yapıları oluşturma olanağı tanıdığı, hatta GOTO gibi "ilkel" görünen yapıları bile modern dillerde taklit etme gücü verdiği vurgulanıyor. Bu, dilin esnekliğini ve soyutlama yeteneklerini ortaya koyan ilgi çekici bir programlama tekniğidir.
call/cc prosedürü, Scheme gibi dillerde bile GOTO benzeri karmaşık kontrol akışı yapılarını taklit etme ve programın yürütme akışını esnek bir şekilde manipüle etme gücü sunar.