Product Description
Research, technical papers, and correspondence relevant to the logic, meaning, correctness and efficiency of programming languages and computing systems.
Product Description
Research, technical papers, and correspondence relevant to the logic, meaning, correctness and efficiency of programming languages and computing systems.
