Opis
This special issue of an esteemed journal delves into VLISP, a rigorously verified implementation of the Scheme programming language. It examines how verification methods can enhance the reliability and correctness of Lisp programs, addressing challenges within the realm of symbolic computation. Joshua D. Guttman takes readers through the intricacies of the verification process, illustrating how VLISP stands as a robust solution for developers who seek precision and assurance in their coding endeavors.
The collection not only highlights the technical aspects of VLISP but also situates the discussion within the broader context of programming languages and their reliability. Through a series of articles, readers engage with significant research findings while gaining insight into the potential applications of verified implementations in real-world scenarios. This issue serves as a resource for academics, researchers, and practitioners eager to explore the intersection of verification, programming, and symbolic computation.
The collection not only highlights the technical aspects of VLISP but also situates the discussion within the broader context of programming languages and their reliability. Through a series of articles, readers engage with significant research findings while gaining insight into the potential applications of verified implementations in real-world scenarios. This issue serves as a resource for academics, researchers, and practitioners eager to explore the intersection of verification, programming, and symbolic computation.
Szczegóły książki
Format
Miękka okładka
Strony
184 stron
Język
Angielski
Opublikowany
lis 21, 2012
Wydawca
Springer
Wydanie
Softcover reprint of the original 1st ed. 1995
ISBN-10
1461359910
ISBN-13
9781461359913
