Papers tagged program correctness Can Programming Be Liberated from the von Neumann Style? A Functional Style and Its Algebra of Programs Browse All Keywords By Category
