Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
10329366 | Electronic Notes in Theoretical Computer Science | 2005 | 28 Pages |
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
Hans Langmaack,