Article ID Journal Published Year Pages File Type
10329366 Electronic Notes in Theoretical Computer Science 2005 28 Pages PDF
Abstract
Intensive cooperation of compiling specifiers and compiler implementers has revealed that the implementer's mathematical reasoning is algebraic reasoning of moderate depth. The specifier overtakes semantical issues and does induction proofs, a field of much more intricate mathematical reasoning.
Related Topics
Physical Sciences and Engineering Computer Science Computational Theory and Mathematics
Authors
,