Warren's Abstract Machine: A Tutorial Reconstruction (Logic Programming Series)
Hassan Ait-Kaci offers a tutorial reconstruction of Warren’s Abstract Machine, placing the work within the Logic Programming Series. The book provides an introduction to a foundational computational model associated with logic programming, making it relevant to readers studying programming languages, implementation, and theoretical computer science.
About This Book
Warren's Abstract Machine: A Tutorial Reconstruction examines the abstract machine associated with logic programming.
Written by Hassan Ait-Kaci, the book presents its subject in a tutorial format.
It belongs to the Logic Programming Series and is relevant to readers exploring programming language implementation and computational theory.
Reviews
No reviews yet. Be the first to review this book!