Denotational semantics of a para-functional programming language

This publication has 13 references indexed in Scilit:

• Para-Functional Programming
  Computer, 1986
• Distributed execution of functional programs using serial combinators
  IEEE Transactions on Computers, 1985
• Serial combinators: "optimal" grains of parallelism
  Published by Springer Nature ,1985
• Simulated Performance of a Reduction-Based Multiprocessor
  Computer, 1984
• Using Annotations to Make Recursion Equations Behave
  IEEE Transactions on Software Engineering, 1982
• A loosely-coupled applicative multi-processing system
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1979
• The Denotational Description of Programming Languages
  Published by Springer Nature ,1979
• The architecture and system method of DDM1
  Published by Association for Computing Machinery (ACM) ,1978
• A Transformation System for Developing Recursive Programs
  Journal of the ACM, 1977
• A preliminary architecture for a basic data-flow processor
  ACM SIGARCH Computer Architecture News, 1974