AT&T Bell Laboratories, Murray Hill, NJ 07974. Standard ML of New Jersey User's Guide, February 1993.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....types are implemented as a class hierarchy where the root class contains the common methods for data handling, ffl and C is a widely used language which is supported by tools and additional libraries. As implementation language for the compiler itself Standard ML in the release of New Jersey [Bel93] was chosen. Compiling a program can be seen as a transformational operation which can be expressed in functional languages in a natural 4 e.g. on a shared memory machine each channel is implemented by a separate variable. 15 way. The facilities to define abstract data types in ML ease the ....

Bell Laboratories,AT&T. Standard ML of New Jersey -- User's Guide (Version 0.93), Feb 1993.

....types are implemented as a class hierarchy where the root class contains the common methods for data handling, and C is a widely used language which is supported by tools and additional libraries. As implementation language for the compiler itself Standard ML in the release of New Jersey [Bel93] was chosen. Compiling a program can be understood as a transformational operation which can be naturally expressed in functional languages. By the tools lexgen and sml yacc a support for the implementation of the analysis phases of the compiler is given. The source code of the compiler embraces ....

Bell Laboratories,AT&T. Standard ML of New Jersey -- User's Guide (Version 0.93), Feb 1993.

....produces an input stream S 0 obtained by skipping over a prefix of S where the prefix represents a complex object. 5) It should be pure in the sense that it must not exhibit any observable side effects. In contrast, the notion of streams in a language such as the Standard ML of New Jersey [11] is not pure. It is not possible to achieve the above ideal, especially the fourth item. Nevertheless, it is possible to come quite close in practice. It should be stressed that while an input stream represents an external datum, it does not have to contain the entire sequence of tokens at any ....

....efficient constant time performance. It is implemented using a technique developed recently by Remy [166] The modules for Kleisli token stream are important as they provide Kleisli the mechanisms for laziness, data pipelining, and fast response. In an ordinary byte stream, such as ML s instream [11], a programmer must explicitly take care of bytes that have been read because reading is destructive. In contrast, a token stream is like a pure list and the programmer is free from such care. However, a token stream is also different from a list. A list has no internal structure; for example, ....

[Article contains additional citation context not shown here]

AT&T Bell Laboratories, Murray Hill, NJ 07974. Standard ML of New Jersey User's Guide, February 1993.

....to produce a stream which has different frequency of data arrival then the corresponding input streams. Thus we have the power of so called multi rate dataflow networks. DFG is implemented on top of CML [9, 8] which is a concurrent programming language built as an extension of Standard ML [1, 7]. Amongst other, CML provides primitives for: thread creation, creation of typed buffered channels and asynchronous communication. In DFG the activity of each node in the network is either a predefined basic process or (user specified) ML code. The behavior of the entire system is described by the ....

....output arcs of the graph g. Example 1 The following is the DFG specification of a network that computes Fibbonacci s sequence of numbers. local val c = attach( Bool(true) tokenStream (Bool(false) val add = PW input=2,output= fn[Int(x) Int(y) Int(x y) val rest = IC graph = SW, [1,2], 4,3] GEN(c) 2] SINK, 4] marking= in val fib = IC graph = add, 1,2] 3] COPY(3) 3] 2,4,5] rest, 4] 1] marking = 3, Int(1) Int(1) end 3 Implementation details DFG is implemented in CML [9] It uses the following CML features: thread creation, creation of ....

[Article contains additional citation context not shown here]

AT&T Bell Laboratories. Standard ML of New Jersey - User's Guide, February 1993. version 0.93.

No context found.

AT&T Bell Laboratories, Murray Hill, NJ 07974. Standard ML of New Jersey User's Guide, February 1993.

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