The Library
Experimenting with computing
Tools
Tools
Tools
Beynon, Meurig and Russ, Steve. (2008) Experimenting with computing. Journal of Applied Logic, Vol.6 (No.4). pp. 476-489. ISSN 15708683
Full text not available from this repository.
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: | 15708683 |
| Date: | 2008 |
| Volume: | Vol.6 |
| Number: | No.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 |
Actions (login required)
 |
View Item |
