LYCOS RETRIEVER
Lisp Programming Language: Skij Scheme
built 614 days ago
During the late 1970s, Scheme has been used at the MIT AI Lab as the basis for a number of papers exploring semantic concepts of programming languages. A first Scheme compiler (Rabbit) was written by Steele in 1978, and Scheme began to be used outside MIT during that period, mainly as the framework for experimentation by theoreticians (first at the University of Indiana, where similar research activities were going on). As Scheme is much smaller than most Lisp dialects and can be put to work on top of Lisp systems easily, various Scheme implementations emerged during the early 1980s (at the Universities of Yale and Indiana, and at MIT, among other sites). Also, several commercial implementations of Scheme were made by existing and newly founded companies in the following years, among them Chez Scheme, MacScheme for the Apple Macintosh, and PC Scheme by Texas Instruments.
Source:
LIFE (Logic, Inheritance, Functions, and Equations) is an experimental programming language proposing to integrate three orthogonal programming paradigms proven useful for symbolic computation. From the programmer's standpoint, it may be perceived as a language taking after logic programming, functional programming, and object-oriented programming. From a formal perspective, it may be seen as an instance (or rather, a composition of three instances) of a Constraint Logic Programming scheme due to Hoehfeld and Smolka refining that of Jaffar and Lassez.
Source:
Michael Travers holds a BS in mathematics and a Ph.D from the Media Lab at MIT, where he conducted research in artificial life, programming languages and environments, and agent-based systems. His publications include work on knowledge visualization, computer-supported cooperative work, and programming languages. At IBM's TJ Watson Laboratory he conducted research on Java tools, including the Skij Scheme implementation, and the use of rule-based systems for modeling business processes. For the past five years he has been designing systems for computational chemistry at Afferent Systems, where he was Director of Human-Computer Interaction, and Elsevier MDL Inc, where he is Principal Software Engineer. He is ... the Knowledge Representation and User Interface Lead for the BioLingua project.
The report gives a defining description of the programming language Scheme. Scheme is a statically scoped and properly tail-recursive dialect of the Lisp programming language invented by Guy Lewis Steele Jr. and Gerald Jay Sussman. It was designed to have an exceptionally clear and simple semantics and few different ways to form expressions. A wide variety of programming paradigms, including imperative, functional, and message passing styles, find convenient expression in Scheme.
Source: