028 - New Paths for Programming in Theory and Practice
Abstract
Computer Programming has been under development for four decades. This period has brought great changes both in programming methods and in computer hardware, but major issues remain unresolved. In particular, a tension between foundational principles and engineering practice is evident in many areas of computer science. This paper argues that this stems from an inadequate formal concept of computation, and briefly introduces a research programme, established at the University of Warwick, that is aimed at developing a new scientific and practical framework for programming.