April 2024
Intermediate to advanced
400 pages
21h 1m
English
This final chapter briefly discusses several important approaches to quantum programming that are not included in the main body of the book, and presents some interesting topics for future research.
Computational machine models; Compilation; Functional programming; Categorical semantics; Concurrency; Entanglement; Model checking; Machine learning; Applications to physics
In the previous chapters, we have systematically studied foundations of quantum programming along the line from superposition-of-data to superposition-of-programs, and classical parallelism and quantum parallelism are examined together. We saw from the previous chapters that various methodologies and techniques in classical programming can be ...