Miranda System Manual, Research Software Limited, 1989.  Home/Search   Document Not in Database   Summary   Related Articles   Check

..... Figure 1: Software Process The aim of our research is to manipulate a software process on a computer system with the assistance of mathematical formality. To attain this aim, we define the cooperation which is an important concept in a software process using a functional language Miranda [10, 14, 15]. In a software process, there are many cases where a human can perform multiple roles (e.g. coder, tester) and a single role (e.g. review work) must be performed by multiple participants. The latter work is carried out in cooperation with participants. We call it the cooperative work in a ....

Miranda System Manual, Research Software Limited, 1989.

....Section 5 presents the semantics and section 6 concludes. 2 List Comprehensions as Database Queries For brevity list comprehensions are not formally described, merely illustrated by example. They are a language construct based on set comprehensions and are found in some functional languages[9, 12, 10]. A set comprehension describing the set of squares of all the odd numbers in a set A can be written fsquare xjx 2 A odd xg and has a corresponding list comprehension [square xjx A; odd x] Operationally the list comprehension can be interpreted as for each x in A, if x is odd, then put ....

Turner D.A. Miranda System Manual, Research Software Limited, 1987.

....algorithms. A functional description is concise, and it allows for easy reasoning about the correctness, deadlock freedom and efficiency of the algorithm [Kelly89, Sijtsma89] In this section four flavours of simulation algorithms are described using Miranda, a functional language described in [Turner90]. The four algorithms have increasing efficiency and expressiveness, as is discussed in Section 2.1.5. Throughout the section, the Flip Flop is used as a running example. The FlipFlop is one of the elementary circuits that can be used for data storage. The 14 Chapter 2. Simulating architectures ....

....that the nand gates introduce a fixed delay of 3 time steps. In the example 2.1. Simulations: a functional description 15 With the help of a few examples, the basic notations of Miranda are explained in this intermezzo. Refer to [Bird88] for a full introduction to functional programming, and to [Turner90] for the definition of Miranda. The Miranda function to compute the factorial of a number is defined by: fac n = 1, if n = 0 = n fac (n 1) otherwise which means that the factorial of n is defined as 1 if n equals 0, or n times the factorial of n Gamma 1 otherwise. The arguments of a function ....

"Miranda System Manual", Research software Limited, 23 St Augustines Road, Canterbury, Kent CT1 1XP, England, April 1990.

No context found.

Turner D.A. Miranda System Manual, Research Software Limited (1987).

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC