skip to content
An Interpreter for Extended Lambda Calculus: SCHEME. Preview this item
ClosePreview this item
Checking...

An Interpreter for Extended Lambda Calculus: SCHEME.

Author: Gerald Jay Sussman; Guy Lewis Jr Steele; MASSACHUSETTS INST OF TECH CAMBRIDGE ARTIFICIAL INTELLIGENCE LAB.
Publisher: Ft. Belvoir Defense Technical Information Center DEC 1975.
Edition/Format:   Print book : English
Database:WorldCat
Summary:
Inspired by ACTORS the authors have implemented an interpreter for a LISP-like language, SCHEME based on the lambda calculus (Church), but extended for side effects, multiprocessing, and process synchronization. The purpose of this implementation is tutorial. The authors wish to: (1) alleviate the confusion caused by Micro-PLANNER, CONNIVER, etc. by clarifying the embedding of non-recursive control structures in a  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Document Type: Book
All Authors / Contributors: Gerald Jay Sussman; Guy Lewis Jr Steele; MASSACHUSETTS INST OF TECH CAMBRIDGE ARTIFICIAL INTELLIGENCE LAB.
OCLC Number: 227422534
Description: 46 pages

Abstract:

Inspired by ACTORS the authors have implemented an interpreter for a LISP-like language, SCHEME based on the lambda calculus (Church), but extended for side effects, multiprocessing, and process synchronization. The purpose of this implementation is tutorial. The authors wish to: (1) alleviate the confusion caused by Micro-PLANNER, CONNIVER, etc. by clarifying the embedding of non-recursive control structures in a recursive host language like LISP; (2) explain how to use these control structures, independent of such issues as pattern matching and data base manipulation; (3) have a simple concrete experimental domain for certain issues of programming semantics and style.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/227422534> # An Interpreter for Extended Lambda Calculus: SCHEME.
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "227422534" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/3856615842#Place/ft_belvoir> ; # Ft. Belvoir
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/vau> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/3856615842#Topic/recursive_functions> ; # Recursive functions
   schema:about <http://experiment.worldcat.org/entity/work/data/3856615842#Topic/programming_languages> ; # Programming languages
   schema:about <http://experiment.worldcat.org/entity/work/data/3856615842#Topic/control_sequences> ; # Control sequences
   schema:about <http://experiment.worldcat.org/entity/work/data/3856615842#Thing/lisp_programming_language> ; # LISP programming language
   schema:about <http://experiment.worldcat.org/entity/work/data/3856615842#Topic/computer_programming> ; # Computer programming
   schema:about <http://experiment.worldcat.org/entity/work/data/3856615842#Topic/semantics> ; # Semantics
   schema:about <http://experiment.worldcat.org/entity/work/data/3856615842#Thing/scheme_programming_language> ; # SCHEME programming language
   schema:about <http://experiment.worldcat.org/entity/work/data/3856615842#Thing/lambda_calculus> ; # Lambda calculus
   schema:about <http://experiment.worldcat.org/entity/work/data/3856615842#Topic/computer_programming_and_software> ; # Computer Programming and Software
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://experiment.worldcat.org/entity/work/data/3856615842#Organization/massachusetts_inst_of_tech_cambridge_artificial_intelligence_lab> ; # MASSACHUSETTS INST OF TECH CAMBRIDGE ARTIFICIAL INTELLIGENCE LAB.
   schema:contributor <http://viaf.org/viaf/46791066> ; # Gerald Jay Sussman
   schema:contributor <http://experiment.worldcat.org/entity/work/data/3856615842#Person/steele_guy_lewis_jr> ; # Guy Lewis Jr Steele
   schema:datePublished "DEC 1975" ;
   schema:datePublished "1975" ;
   schema:description "Inspired by ACTORS the authors have implemented an interpreter for a LISP-like language, SCHEME based on the lambda calculus (Church), but extended for side effects, multiprocessing, and process synchronization. The purpose of this implementation is tutorial. The authors wish to: (1) alleviate the confusion caused by Micro-PLANNER, CONNIVER, etc. by clarifying the embedding of non-recursive control structures in a recursive host language like LISP; (2) explain how to use these control structures, independent of such issues as pattern matching and data base manipulation; (3) have a simple concrete experimental domain for certain issues of programming semantics and style."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/3856615842> ;
   schema:inLanguage "en" ;
   schema:name "An Interpreter for Extended Lambda Calculus: SCHEME."@en ;
   schema:productID "227422534" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/227422534#PublicationEvent/ft_belvoirdefense_technical_information_centerdec_1975> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/3856615842#Agent/defense_technical_information_center> ; # Defense Technical Information Center
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/227422534> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/3856615842#Agent/defense_technical_information_center> # Defense Technical Information Center
    a bgn:Agent ;
   schema:name "Defense Technical Information Center" ;
    .

<http://experiment.worldcat.org/entity/work/data/3856615842#Organization/massachusetts_inst_of_tech_cambridge_artificial_intelligence_lab> # MASSACHUSETTS INST OF TECH CAMBRIDGE ARTIFICIAL INTELLIGENCE LAB.
    a schema:Organization ;
   schema:name "MASSACHUSETTS INST OF TECH CAMBRIDGE ARTIFICIAL INTELLIGENCE LAB." ;
    .

<http://experiment.worldcat.org/entity/work/data/3856615842#Person/steele_guy_lewis_jr> # Guy Lewis Jr Steele
    a schema:Person ;
   schema:familyName "Steele" ;
   schema:givenName "Guy Lewis Jr" ;
   schema:name "Guy Lewis Jr Steele" ;
    .

<http://experiment.worldcat.org/entity/work/data/3856615842#Thing/lisp_programming_language> # LISP programming language
    a schema:Thing ;
   schema:name "LISP programming language" ;
    .

<http://experiment.worldcat.org/entity/work/data/3856615842#Thing/scheme_programming_language> # SCHEME programming language
    a schema:Thing ;
   schema:name "SCHEME programming language" ;
    .

<http://experiment.worldcat.org/entity/work/data/3856615842#Topic/computer_programming> # Computer programming
    a schema:Intangible ;
   schema:name "Computer programming"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/3856615842#Topic/computer_programming_and_software> # Computer Programming and Software
    a schema:Intangible ;
   schema:name "Computer Programming and Software"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/3856615842#Topic/programming_languages> # Programming languages
    a schema:Intangible ;
   schema:name "Programming languages"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/3856615842#Topic/recursive_functions> # Recursive functions
    a schema:Intangible ;
   schema:name "Recursive functions"@en ;
    .

<http://viaf.org/viaf/46791066> # Gerald Jay Sussman
    a schema:Person ;
   schema:familyName "Sussman" ;
   schema:givenName "Gerald Jay" ;
   schema:name "Gerald Jay Sussman" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.