Cockshott, W.P. (2004) Array languages and the challenges of modern computer architecture. ACM SIGAPL APL Quote Quad, 34(3), pp. 13-19. (doi: 10.1145/1127556.1127558)
|
Text
Cockshott3526.pdf 817kB |
Publisher's URL: http://doi.acm.org/10.1145/1127556.1127558
Abstract
There has always been a close relationship between programming language design and computer design. Electronic computers and programming languages are both 'computers' in Turing's sense. They are systems which allow the performance of bounded universal computation. Each allows any computable function to be evaluated, up to some memory limit. This equivalence has been understood since the 30s' when Turing machines (Turing 1937) were shown to be of the same computational power as the λ calculus.
Item Type: | Articles |
---|---|
Keywords: | APL, vector pascal, SIMD. |
Status: | Published |
Refereed: | Yes |
Glasgow Author(s) Enlighten ID: | Cockshott, Dr William |
Authors: | Cockshott, W.P. |
Subjects: | Q Science > QA Mathematics > QA75 Electronic computers. Computer science |
College/School: | College of Science and Engineering > School of Computing Science |
Journal Name: | ACM SIGAPL APL Quote Quad |
Publisher: | ACM Press |
ISSN: | 0163-6006 |
Copyright Holders: | Copyright © 2004 ACM Press |
First Published: | First published in ACM SIGAPL APL Quote Quad 34(3):13-19 |
Publisher Policy: | Reproduced in accordance with the copyright policy of the publisher. |
University Staff: Request a correction | Enlighten Editors: Update this record