Frame rule for mutually recursive procedures manipulating pointers

✍ Scribed by Viorel Preoteasa

• Book ID: 108281553
• Publisher: Elsevier Science
• Year: 2009
• Tongue: English
• Weight: 906 KB
• Volume: 410
• Category: Article
• ISSN: 0304-3975
• DOI: 10.1016/j.tcs.2009.05.016