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 : EnglishView all editions and formats
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/9010202#Place/ft_belvoir> ; # Ft. Belvoir
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/vau> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/9010202#Topic/control_sequences> ; # Control sequences
    schema:about <http://experiment.worldcat.org/entity/work/data/9010202#Thing/lisp_programming_language> ; # LISP programming language
    schema:about <http://experiment.worldcat.org/entity/work/data/9010202#Topic/recursive_functions> ; # Recursive functions
    schema:about <http://experiment.worldcat.org/entity/work/data/9010202#Topic/programming_languages> ; # Programming languages
    schema:about <http://experiment.worldcat.org/entity/work/data/9010202#Topic/computer_programming_and_software> ; # Computer Programming and Software
    schema:about <http://experiment.worldcat.org/entity/work/data/9010202#Thing/scheme_programming_language> ; # SCHEME programming language
    schema:about <http://experiment.worldcat.org/entity/work/data/9010202#Topic/semantics> ; # Semantics
    schema:about <http://experiment.worldcat.org/entity/work/data/9010202#Thing/lambda_calculus> ; # Lambda calculus
    schema:about <http://experiment.worldcat.org/entity/work/data/9010202#Topic/computer_programming> ; # Computer programming
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://experiment.worldcat.org/entity/work/data/9010202#Person/steele_guy_lewis_jr> ; # Guy Lewis Jr Steele
    schema:contributor <http://experiment.worldcat.org/entity/work/data/9010202#Organization/massachusetts_inst_of_tech_cambridge_artificial_intelligence_lab> ; # MASSACHUSETTS INST OF TECH CAMBRIDGE ARTIFICIAL INTELLIGENCE LAB.
    schema:contributor <http://experiment.worldcat.org/entity/work/data/9010202#Person/sussman_gerald_jay> ; # Gerald Jay Sussman
    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/9010202> ;
    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/9010202#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/9010202#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/9010202#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/9010202#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/9010202#Person/sussman_gerald_jay> # Gerald Jay Sussman
    a schema:Person ;
    schema:familyName "Sussman" ;
    schema:givenName "Gerald Jay" ;
    schema:name "Gerald Jay Sussman" ;
    .

<http://experiment.worldcat.org/entity/work/data/9010202#Thing/lambda_calculus> # Lambda calculus
    a schema:Thing ;
    schema:name "Lambda calculus" ;
    .

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

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

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

<http://experiment.worldcat.org/entity/work/data/9010202#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/9010202#Topic/control_sequences> # Control sequences
    a schema:Intangible ;
    schema:name "Control sequences"@en ;
    .

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

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


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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