Cornell University
Library
Cornell UniversityLibrary

eCommons

Help
Log In(current)
  1. Home
  2. Cornell Computing and Information Science
  3. Computer Science
  4. Computer Science Technical Reports
  5. Accumulators: New Logic Variable Abstractions for Functional Languages

Accumulators: New Logic Variable Abstractions for Functional Languages

File(s)
88-952.pdf (2.47 MB)
88-952.ps (509.71 KB)
Permanent Link(s)
https://hdl.handle.net/1813/6792
Collections
Computer Science Technical Reports
Author
Pingali, Keshav
Ekanadham, Kattamuri
Abstract

Much attention has been focused by the declarative languages community on combining the functional and logic programming paradigms. In particular, there are many efforts to incorporate logic variables into functional languages. We propose a generalization of logic variables called accumulators which are eminently suited for incorporation into functional languages. We demonstrate the utility of accumulators by presenting examples which show that accumulators can be used profitably in many scientific applications to enhance storage efficiency and parallelism.

Date Issued
1988-12
Publisher
Cornell University
Keywords
computer science
•
technical report
Previously Published as
http://techreports.library.cornell.edu:8081/Dienst/UI/1.0/Display/cul.cs/TR88-952
Type
technical report

Site Statistics | Help

About eCommons | Policies | Terms of use | Contact Us

copyright © 2002-2026 Cornell University Library | Privacy | Web Accessibility Assistance