Skip to content Skip to navigation
University of Warwick
  • Study
  • |
  • Research
  • |
  • Business
  • |
  • Alumni
  • |
  • News
  • |
  • About

University of Warwick
Publications service & WRAP

Highlight your research

  • WRAP
    • Home
    • Search WRAP
    • Browse by Warwick Author
    • Browse WRAP by Year
    • Browse WRAP by Subject
    • Browse WRAP by Department
    • Browse WRAP by Funder
    • Browse Theses by Department
  • Publications Service
    • Home
    • Search Publications Service
    • Browse by Warwick Author
    • Browse Publications service by Year
    • Browse Publications service by Subject
    • Browse Publications service by Department
    • Browse Publications service by Funder
  • Help & Advice
University of Warwick

The Library

  • Login
  • Admin

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. doi:10.1016/j.jal.2008.09.008

[img] PDF
sdarticle100.pdf - Published Version
Embargoed item. Restricted access to Repository staff only - Requires a PDF viewer.

Download (413Kb)
Official URL: http://dx.doi.org/10.1016/j.jal.2008.09.008

Request Changes to record.

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:
DateEvent
December 2008Published
30 September 2008Available
Volume: Volume 6
Number: Number 4
Page Range: pp. 476-489
DOI: 10.1016/j.jal.2008.09.008
Status: Peer Reviewed
Publication Status: Published
Access rights to Published version: Restricted or Subscription Access

Request changes or add full text files to a record

Repository staff actions (login required)

View Item View Item
twitter

Email us: wrap@warwick.ac.uk
Contact Details
About Us