Accumulators: New logic variable abstractions for functional languages
- 1 January 1988
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 377-399
- https://doi.org/10.1007/3-540-50517-2_92
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- I-Structures: Data structures for parallel computingLecture Notes in Computer Science, 1987
- Executing a program on the MIT Tagged-Token Dataflow architectureLecture Notes in Computer Science, 1987
- The relation between logic and functional languages: a surveyThe Journal of Logic Programming, 1986
- A semantic model of reference counting and its abstraction (detailed summary)Published by Association for Computing Machinery (ACM) ,1986
- Functional programing and the logical variablePublished by Association for Computing Machinery (ACM) ,1985
- The NYU Ultracomputer—Designing an MIMD Shared Memory Parallel ComputerIEEE Transactions on Computers, 1983
- An Efficient Unification AlgorithmACM Transactions on Programming Languages and Systems, 1982
- Dependence graphs and compiler optimizationsPublished by Association for Computing Machinery (ACM) ,1981