✍ Scribed by León, C.; Rodríguez, C.; García, F.; De Sande, F.
No coin nor oath required. For personal study only.
A PRAM-oriented programming language called 11 and its implementation on transputer networks are presented. The approach taken is a compromise between efficiency and simplicity. The 11 language has been conceived as a tool for the study, design, analysis, verification and teaching of parallel algorithms. A method for the complexity analysis of 11 programs called PRSW is introduced. The 11 compiler guarantees the conservation of the PRSW complexity of the algorithms translated. Furthermore, the computational results illustrate the good behaviour of the system for PRAM algorithms.
📜 SIMILAR VOLUMES
This paper describes the design of an RPC system for building object-oriented distributed software systems. The general requirements for such a system are to provide mechanisms for supporting inheritance, polymorphism, dynamic binding, and modular development in implementing distributed software sys
In the #Prolog language, Horn clauses of first-order logic are regarded as programs, and the resolution procedure is used as an interpreter. In this paper, we present the formalism of Horn oriented equational clauses (Horn clauses with a rewrite rule as the head part, and a list of equations as the