Program construction is about turning specifications of computer software into implementations. R...

A leitmotif in the evolution of programming paradigms has been the level and extent of parametris...

This volume contains the proceedings of MPC 2000, the ?fth international c- ference on Mathematic...

Most texts on logic or discrete math fail to show why math and logic are fundamental tools for pr...

Generic programming attempts to make programming more efficient by making it more general. This b...

A leitmotif in the evolution of programming paradigms has been the level and extent of parametris...

Generic programming attempts to make programming more efficient by making it more general. Thi...

This volume contains the proceedings of MPC 2000, the ?fth international c- ference on Mathematic...

Program construction is about turning specifications of computer software into implementations. R...