Skip to main content Accessibility help
×
Hostname: page-component-76fb5796d-vvkck Total loading time: 0 Render date: 2024-04-27T23:41:53.272Z Has data issue: false hasContentIssue false

14 - The Leordo computation system

Published online by Cambridge University Press:  06 August 2010

Erik Sandewall
Affiliation:
Linköping University and Royal Institute of Technology, Stockholm, Sweden
Yves Bertot
Affiliation:
INRIA-Sophia Antipolis, France
Gérard Huet
Affiliation:
Institut National de Recherche en Informatique et en Automatique (INRIA), Rocquencourt
Jean-Jacques Lévy
Affiliation:
Institut National de Recherche en Informatique et en Automatique (INRIA), Rocquencourt
Gordon Plotkin
Affiliation:
University of Edinburgh
Get access

Summary

Abstract

The purpose of the research reported here was to explore an alternative way of organizing the general software structure in computers, eliminating the traditional distinctions between operating system, programming language, database system, and several other kinds of software. We observed that there is a lot of costly duplication of concepts and of facilities in the conventional architecture, and believe that most of that duplication can be eliminated if the software is organized differently. This article describes Leordo, an experimental software system that has been built in order to explore an alternative design and to try to verify the hypothesis that a much more compact design is possible and that concept duplication can be eliminated or at least greatly reduced. Definite conclusions in those respects can not yet be made, but the indications are positive and the design that has been

Introduction

Project goal and design goals

Leordo is a software project and an experimental software system that integrates capabilities that are usually found in several different software systems:

  • in the operating system

  • in the programming language and programming environment

  • in an intelligent agent system

  • in a text formatting system

and others more. I believe that it should be possible to make a much more concise, efficient, and user-friendly design of the total software system in the conventional (PC-type) computer by integrating capabilities and organizing them in a new way.

Type
Chapter
Information
From Semantics to Computer Science
Essays in Honour of Gilles Kahn
, pp. 309 - 336
Publisher: Cambridge University Press
Print publication year: 2009

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

Save book to Kindle

To save this book to your Kindle, first ensure coreplatform@cambridge.org is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part of your Kindle email address below. Find out more about saving to your Kindle.

Note you can select to save to either the @free.kindle.com or @kindle.com variations. ‘@free.kindle.com’ emails are free but can only be saved to your device when it is connected to wi-fi. ‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.

Find out more about the Kindle Personal Document Service.

  • The Leordo computation system
    • By Erik Sandewall, Linköping University and Royal Institute of Technology, Stockholm, Sweden
  • Edited by Yves Bertot, Gérard Huet, Institut National de Recherche en Informatique et en Automatique (INRIA), Rocquencourt, Jean-Jacques Lévy, Institut National de Recherche en Informatique et en Automatique (INRIA), Rocquencourt, Gordon Plotkin, University of Edinburgh
  • Book: From Semantics to Computer Science
  • Online publication: 06 August 2010
  • Chapter DOI: https://doi.org/10.1017/CBO9780511770524.015
Available formats
×

Save book to Dropbox

To save content items to your account, please confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about saving content to Dropbox.

  • The Leordo computation system
    • By Erik Sandewall, Linköping University and Royal Institute of Technology, Stockholm, Sweden
  • Edited by Yves Bertot, Gérard Huet, Institut National de Recherche en Informatique et en Automatique (INRIA), Rocquencourt, Jean-Jacques Lévy, Institut National de Recherche en Informatique et en Automatique (INRIA), Rocquencourt, Gordon Plotkin, University of Edinburgh
  • Book: From Semantics to Computer Science
  • Online publication: 06 August 2010
  • Chapter DOI: https://doi.org/10.1017/CBO9780511770524.015
Available formats
×

Save book to Google Drive

To save content items to your account, please confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about saving content to Google Drive.

  • The Leordo computation system
    • By Erik Sandewall, Linköping University and Royal Institute of Technology, Stockholm, Sweden
  • Edited by Yves Bertot, Gérard Huet, Institut National de Recherche en Informatique et en Automatique (INRIA), Rocquencourt, Jean-Jacques Lévy, Institut National de Recherche en Informatique et en Automatique (INRIA), Rocquencourt, Gordon Plotkin, University of Edinburgh
  • Book: From Semantics to Computer Science
  • Online publication: 06 August 2010
  • Chapter DOI: https://doi.org/10.1017/CBO9780511770524.015
Available formats
×