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...
Abstract
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 |
