2 papers
cs.PL2012
Discovering Algorithms with Matrix Code
M. H. van Emden
In first-year programming courses it is often difficult to show students how an algorithm can be discovered. In this paper we present a program format that supports the development…
cs.DB2012
Relational Semantics for Databases and Predicate Calculus
Philip Kelly, M. H. van Emden
The relational data model requires a theory of relations in which tuples are not only many-sorted, but can also have indexes that are not necessarily numerical. In this paper we de…