| IGR Report on EPSRC Grant GR/L89532: Notions of computability for general datatypes (2007) | |||||||||||||||
Abstract | |||||||||||||||
| general international e#ort to develop mathematical and conceptual tools suitable for understanding the semantics and logic of a variety of programming languages. The long-term goals of this research e#ort are, typically, to support mathematical reasoning about the correctness of real-world software; to enable a clean and principled approach to the design of future programming languages; and to suggest innovations in compiler technology. The programming language semantics community is represented within Britain by groups e.g. | |||||||||||||||
Publication details | |||||||||||||||
| |||||||||||||||