PL Perspectives

Perspectives on computing and technology from and for those with an interest in programming languages.
Archive of posts tagged: formal verification
The First PLanQC in the Road to Quantum Programming

The First PLanQC in the Road to Quantum Programming

As quantum computers become more practical, there is a rich opportunity to advance the development of tools to assist in the process of programming them, both now and in the future. To encourage more PL-minded researchers to work in this exciting new area, we established the Workshop on Programming Languages for Quantum Computing (PLanQC). 

Read more...