The Library
Experimenting with computing
Tools
Tools
Tools
Beynon, Meurig and Russ, Steve. (2008) Experimenting with computing. Journal of Applied Logic, Volume 6 (Number 4). pp. 476-489. ISSN 1570-8683
![[img]](http://wrap.warwick.ac.uk/style/images/fileicons/application_pdf.png) |
PDF
sdarticle100.pdf - Published Version Restricted to Repository staff only - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader Download (413Kb) |
Official URL: http://dx.doi.org/10.1016/j.jal.2008.09.008
Abstract
We distinguish two kinds of experimental activity: post-theory and exploratory. Post-theory experiment enjoys computer support that is well-aligned to the classical theory of computation. Exploratory experiment, in contrast, arguably demands a broader conception of computing. Empirical Modelling (EM) is proposed as a more appropriate conceptual framework in which to provide computational support for exploratory experiment. In the process, it promises to provide integrated computational support for both exploratory and post-theory experiment. We first sketch the motivation for EM and illustrate its potential for supporting experimentation, then briefly highlight the semantic challenge it poses and the philosophical implications.
| Item Type: | Journal Article | ||||||
|---|---|---|---|---|---|---|---|
| Subjects: | Q Science > Q Science (General) Q Science > QA Mathematics > QA76 Electronic computers. Computer science. Computer software |
||||||
| Divisions: | Faculty of Science > Computer Science | ||||||
| Library of Congress Subject Headings (LCSH): | Science -- Experiments -- Computer simulation, Science -- Experiments -- Data processing, Computer science -- Experiments, Computer programs -- Scientific applications, Empiricism | ||||||
| Journal or Publication Title: | Journal of Applied Logic | ||||||
| Publisher: | Elsevier BV | ||||||
| ISSN: | 1570-8683 | ||||||
| Official Date: | December 2008 | ||||||
| Dates: |
|
||||||
| Volume: | Volume 6 | ||||||
| Number: | Number 4 | ||||||
| Page Range: | pp. 476-489 | ||||||
| Identification Number: | 10.1016/j.jal.2008.09.008 | ||||||
| Status: | Peer Reviewed | ||||||
| Publication Status: | Published | ||||||
| Access rights to Published version: | Restricted or Subscription Access | ||||||
| URI: | http://wrap.warwick.ac.uk/id/eprint/37081 |
Request changes or add full text files to a record
Actions (login required)
 |
View Item |
