On the Formal Description of Programming Concepts
1978·divulgacion
Colección de artículos derivados de un grupo de estudio de la IFIP Working Group 2.2, presentando enfoques pioneros en la descripción formal de la semántica de lenguajes de programación, esenciales para su verificación y comprensión precisa.