Towards a Box Calculus for Hierarchical Hume
نویسندگان
چکیده
We present a first approach towards a calculus of transformations of Hume boxes, using an extended version of Hume called Hierarchical Hume. We present and motivate Hierachical Hume, transformations and the calculus and derive some rules and strategies. The approach is then illustrated through two examples.
منابع مشابه
Hume box calculus: robust system development through software transformation
Hume is a contemporary programming language oriented to systems with strong resource bounds, based on autonomous concurrent “boxes” interacting across “wires”. Hume’s design reflects the explicit separation of coordination and computation aspects of multi-process systems, which greatly eases establishing resource bounds for programs. However, coordination and computation are necessarily tightly...
متن کاملReasoning about Multi-process Systems with the Box Calculus
The box calculus is a formalism for reasoning about the properties of multi-process systems which enables account to be taken of pragmatic as well as computational concerns. It was developed for the programming language Hume which explicitly distinguishes between coordination, based on concurrent boxes linked by wires, and expressions, based on polymorphic recursive functions. This chapter intr...
متن کاملMulti-core parallelisation of Hume through structured transformation
The use of the Hume box calculus to systematically transform a single box into an equivalent multi-box program offering balanced parallel implementation is discussed. The approach is illustrated through the development of a multicore matrix multiplication program.
متن کاملMulla Sadra and Hume on Comparative Analyzing of Causality
One of the most important causes for comparative studying on philosophical systems is to find their commonalities for responding common questions and to emphasize on their differences for taking functional answers encountering modern philosophical challenges and problems. Here, causality is chosen as the case study. Causality is of the basic philosophical issues that have been continually consi...
متن کاملReasoning about correctness properties of a coordination programming language
Safety critical systems place additional requirements to the programming language used to implement them with respect to traditional environments. Examples of features that influence the suitability of a programming language in such environments include complexity of definitions, expressive power, bounded space and time and verifiability. Hume is a novel programming language with a design which...
متن کامل