skip to content
Lambda: The Ultimate Imperative. Preview this item
ClosePreview this item
Checking...

Lambda: The Ultimate Imperative.

Author: Guy Lewis Jr Steele; Gerald Jay Sussman; MASSACHUSETTS INST OF TECH CAMBRIDGE ARTIFICIAL INTELLIGENCE LAB.
Publisher: Ft. Belvoir Defense Technical Information Center MAR 1976.
Edition/Format:   Print book : EnglishView all editions and formats
Database:WorldCat
Summary:
This report demonstrates how to model the following common programming constructs in terms of an applicative order language similar to LISP: Simple Recursion; Iteratiion; Compound Statements and Expressions; GO TO and Assignment; Continuation-Passing; Escape Expressions; Fluid Variables; and Call by Name, Call by Need, and Call by reference. The models require only (possibly self-referent) lambda application,  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: Guy Lewis Jr Steele; Gerald Jay Sussman; MASSACHUSETTS INST OF TECH CAMBRIDGE ARTIFICIAL INTELLIGENCE LAB.
OCLC Number: 227432664
Description: 43 pages

Abstract:

This report demonstrates how to model the following common programming constructs in terms of an applicative order language similar to LISP: Simple Recursion; Iteratiion; Compound Statements and Expressions; GO TO and Assignment; Continuation-Passing; Escape Expressions; Fluid Variables; and Call by Name, Call by Need, and Call by reference. The models require only (possibly self-referent) lambda application, conditionals, and (rarely) assignment. No complex data structures such as stacks are used. The models are transparent, involving only local syntactic transformations. Some of these models, such as those for GO TO and assignment, are already well known, and appear in the work of Landin, Reynolds, and others. The models for escape expressions, fluid variables, and call by need with the side effects are new. This paper is partly tutorial in intent, gathering all the models together for purposes of context. (Author).

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/227432664> # Lambda: The Ultimate Imperative.
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "227432664" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/137158800#Place/ft_belvoir> ; # Ft. Belvoir
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/vau> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/137158800#Topic/syntax> ; # Syntax
   schema:about <http://experiment.worldcat.org/entity/work/data/137158800#Topic/linguistics> ; # Linguistics
   schema:about <http://experiment.worldcat.org/entity/work/data/137158800#Thing/fluid_variables> ; # Fluid variables
   schema:about <http://experiment.worldcat.org/entity/work/data/137158800#Topic/phrase_structure_grammars> ; # Phrase structure grammars
   schema:about <http://experiment.worldcat.org/entity/work/data/137158800#Topic/recursive_functions> ; # Recursive functions
   schema:about <http://experiment.worldcat.org/entity/work/data/137158800#Thing/transparent_models> ; # Transparent models
   schema:about <http://experiment.worldcat.org/entity/work/data/137158800#Thing/escape_expressions> ; # Escape expressions
   schema:about <http://experiment.worldcat.org/entity/work/data/137158800#Thing/lisp_programming_language> ; # Lisp programming language
   schema:about <http://experiment.worldcat.org/entity/work/data/137158800#Topic/computer_programming_and_software> ; # Computer Programming and Software
   schema:about <http://experiment.worldcat.org/entity/work/data/137158800#Topic/mathematical_programming> ; # Mathematical programming
   schema:about <http://experiment.worldcat.org/entity/work/data/137158800#Thing/dynamic_scoping> ; # Dynamic scoping
   schema:about <http://experiment.worldcat.org/entity/work/data/137158800#Thing/modeling_imperative_programs> ; # Modeling imperative programs
   schema:about <http://experiment.worldcat.org/entity/work/data/137158800#Thing/lambda_programming_language> ; # Lambda programming language
   schema:about <http://experiment.worldcat.org/entity/work/data/137158800#Thing/lambda_calculus> ; # LAMBDA calculus
   schema:about <http://experiment.worldcat.org/entity/work/data/137158800#Topic/transformational_grammars> ; # Transformational grammars
   schema:about <http://experiment.worldcat.org/entity/work/data/137158800#Topic/iterations> ; # Iterations
   schema:about <http://experiment.worldcat.org/entity/work/data/137158800#Topic/programming_languages> ; # Programming languages
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://experiment.worldcat.org/entity/work/data/137158800#Person/steele_guy_lewis_jr> ; # Guy Lewis Jr Steele
   schema:contributor <http://experiment.worldcat.org/entity/work/data/137158800#Person/sussman_gerald_jay> ; # Gerald Jay Sussman
   schema:contributor <http://experiment.worldcat.org/entity/work/data/137158800#Organization/massachusetts_inst_of_tech_cambridge_artificial_intelligence_lab> ; # MASSACHUSETTS INST OF TECH CAMBRIDGE ARTIFICIAL INTELLIGENCE LAB.
   schema:datePublished "1976" ;
   schema:datePublished "MAR 1976" ;
   schema:description "This report demonstrates how to model the following common programming constructs in terms of an applicative order language similar to LISP: Simple Recursion; Iteratiion; Compound Statements and Expressions; GO TO and Assignment; Continuation-Passing; Escape Expressions; Fluid Variables; and Call by Name, Call by Need, and Call by reference. The models require only (possibly self-referent) lambda application, conditionals, and (rarely) assignment. No complex data structures such as stacks are used. The models are transparent, involving only local syntactic transformations. Some of these models, such as those for GO TO and assignment, are already well known, and appear in the work of Landin, Reynolds, and others. The models for escape expressions, fluid variables, and call by need with the side effects are new. This paper is partly tutorial in intent, gathering all the models together for purposes of context. (Author)."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/137158800> ;
   schema:inLanguage "en" ;
   schema:name "Lambda: The Ultimate Imperative."@en ;
   schema:productID "227432664" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/227432664#PublicationEvent/ft_belvoirdefense_technical_information_centermar_1976> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/137158800#Agent/defense_technical_information_center> ; # Defense Technical Information Center
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/227432664> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/137158800#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/137158800#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/137158800#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/137158800#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/137158800#Thing/escape_expressions> # Escape expressions
    a schema:Thing ;
   schema:name "Escape expressions" ;
    .

<http://experiment.worldcat.org/entity/work/data/137158800#Thing/lambda_programming_language> # Lambda programming language
    a schema:Thing ;
   schema:name "Lambda programming language" ;
    .

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

<http://experiment.worldcat.org/entity/work/data/137158800#Thing/modeling_imperative_programs> # Modeling imperative programs
    a schema:Thing ;
   schema:name "Modeling imperative programs" ;
    .

<http://experiment.worldcat.org/entity/work/data/137158800#Thing/transparent_models> # Transparent models
    a schema:Thing ;
   schema:name "Transparent models" ;
    .

<http://experiment.worldcat.org/entity/work/data/137158800#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/137158800#Topic/mathematical_programming> # Mathematical programming
    a schema:Intangible ;
   schema:name "Mathematical programming"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/137158800#Topic/phrase_structure_grammars> # Phrase structure grammars
    a schema:Intangible ;
   schema:name "Phrase structure grammars"@en ;
    .

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

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

<http://experiment.worldcat.org/entity/work/data/137158800#Topic/transformational_grammars> # Transformational grammars
    a schema:Intangible ;
   schema:name "Transformational grammars"@en ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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