ePrints@IIScePrints@IISc Home | About | Browse | Latest Additions | Advanced Search | Contact | Help

An interpreter for slips-An applicative language based on LAMBDA-Calculus

Gehlot, Vijay and Srikantb, YN (1986) An interpreter for slips-An applicative language based on LAMBDA-Calculus. In: Computer Languages, 11 (1). pp. 1-13.

Full text not available from this repository. (Request a copy)
Official URL: http://www.sciencedirect.com/science?_ob=ArticleUR...


An applicative language based on the LAMBDA-Calculus is presented. The language, SLIPS (Small Language for Instruction Purposes), is described using the LAMBDA-Calculus as a metalanguage. A call-by-need mechanism of function invocation eliminates the drawbacks of both call-by-name and call-by-value. The system has been implemented in PASCAL.

Item Type: Journal Article
Publication: Computer Languages
Publisher: Elsevier Science
Additional Information: Copyright of this article belongs to Elsevier Science.
Keywords: Lambda-Calculus;Applicative languages;Semantics;Call-by-need reduction;Interpreter.
Department/Centre: Division of Electrical Sciences > Computer Science & Automation
Date Deposited: 26 Aug 2009 17:44
Last Modified: 26 Aug 2009 17:44
URI: http://eprints.iisc.ac.in/id/eprint/22105

Actions (login required)

View Item View Item