CAISOR Archive of Articles, PM-2008-006The Leordo Computation SystemErik SandewallDescription of, and links to the document with the title and author mentioned above:Publication: In: From Semantics to Computer Science. Yves Bertot, Gérard Huet, Jean-Jacques Lévy and Gordon Plotkin, editors. Cambridge University Press, 2008. Open access: [pdf]
Abstract: The purpose of the research reported here is 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 observe 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 Leonardo, 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 implemented so far has a number of interesting and unusual features.
This index page is persistent and will continue to contain links to the full text of the document as well as information about it. WWW links to this index page will be valid and useful for the foreseeable future, therefore. More information at the CAISOR archive website. |