M. Serrano. Bigloo user's manual. RT 0169, INRIA-Rocquencourt, France, December 1994.  Home/Search   Document Details and Download   Summary   Related Articles   Check

....This is mainly due to the cost of cross module calls in the case of small procedures. 6 Related work Although GOld seems to be the rst system based on abstract compilation for the implementation of the global analysis phase, it relates to a number of other systems we will now describe. Bigloo [23, 25] is a Scheme to C compiler. But in contrast to Gambit C, Bigloo does not entirely comply to the Scheme standard in order to generate more ecient code. For example, it does not optimize tail calls in general, but only in limited cases. Also, it relies on a sophisticated, rst order module system. ....

M. Serrano. Bigloo User's Manual. Technical report, Inria, Rocquencourt, March 1994.

....Duba s [10] pattern matching package. match case #key##clause 1 ##clause 2 #. syntax In this form, #key# may be any expression and each #clause# has the form 7 The patk k mat hing compiler has beenwrit by Jean Marie Ge#roy and ispart of tS Manuel Serrano s Bigloo compiler[8] since several years. The code (and documentmenS6 included in STk has been stnS fromto Bigloo package v1.9 (t9 only di#erence bet ween bot package is tSpatkJJ mat hing of st 7fifi7SX whisch is absent in STk) STkReffbdb Manual 51 ( pat expression 1 expression 2 . A match case ....

Manuel Serrano. Bigloo User's Manual, v1.9b, June 1997.

....is unrolled completely into a straight line sequence of code. For different input sizes, this results in a family of specialized programs where the 1 The numbers are based on a Scheme program that represents a vector as a list, specialized using Similix [6] and compiled using Bigloo version 1. 8 [20], invoked as bigloo1.8 O4 unsafe farithmetic with gcc version 2.7.2 as the back end compiler, and run on a 25 MHz SPARC IPC with 64 Kbytes of cache and 32 Mbytes of main memory. See Section 5 for further details. 1 size of the body of the main loop where most of the execution time of the ....

....y0) conv0 x y 0) Our aim was to specialize the function conv(x, y) to the first argument, x, and measure the speedups obtained for different lengths of x. We used Similix [6] running on the scm Scheme interpreter for the specialization, and the Bigloo Scheme to C translator (version 1. 8) [20], with gcc 8 0.9 0.95 1 1.05 1.1 1.15 1.2 1.25 1.3 0 2000 4000 6000 8000 10000 Speedup input size resource bounded uncontrolled Figure 4: Resource Bounded vs. Uncontrolled Specialization (Convolution) version 2.7.2 as the back end compiler, to produce executables. These were run on ....

M. Serrano, Bigloo User's Manual, INRIA Rocquencourt, France, April 1996. 16

....It is portable across Scheme interpreters and compilers, and thus also across operating systems. Code to interface with other systems, such as POSIX functions or a user interface toolkit, is not portable between operating systems. Currently, the implementation is Unix based. We use the Bigloo [Ser94] Scheme compiler interpreter and the XForms [ZO96] user interface toolkit. Versions are running on DEC Alphas under Digital Unix, SUN SPARCs under Solaris, Intel Pentiums under Linux and HP 9000s under HP UX. 4 Mobile Multimedia Endpoints 4.1 Requirements The use of distributed multimedia ....

M. Serrano. Bigloo User's Manual. INRIA, B.P. 105, Rocquencourt, 78153 Le Chesnay Cedex, France, 1.7 edition, 1994.

....code. However, few provide equally good support for the outside to call in. The esh Scheme implementation [14] is a notable exception; it was designed with the explicit goal of making hybrid Scheme and C C applications easier to write. Another, more recent system is the Bigloo Scheme compiler [15]. For ML based languages, the Standard ML of New Jersey compiler s foreign function interface does also provide support for call ins [5] Function closures can be dressed up behind a C function pointer, which can then be passed out to the outside world, making it similar in power to foreign export ....

M. Serrano. Bigloo User's Manual, 1999. http:// kaolin.unice.fr/~serrano/bigloo/bigloo.html.

....algorithm for lazy functional languages. However, the resulting program may still be higher order the algorithm does not perform closure conversion. The compilation of higher order languages via a C compiler has been used successfully in several projects, such as sml2c [44] Hobbit [43] Bigloo [39], and the Glasgow Haskell Compiler [34] In particular, sml2c also translates tail recursive intermediate code obtained from a CPS transformation, but uses a function dispatcher for handling control. 8 Conclusion We have used the interpretive approach to generate the middle end of a compiler for ....

Manual Serrano. Bigloo user's manual. Technical report, INRIA, 1994. (to appear).

No context found.

M. Serrano. Bigloo user's manual. RT 0169, INRIA-Rocquencourt, France, December 1994.

....a Sc expression representing the pretty printed program that must be included in the target document. The de nition of the makefile pretty printer is: define (makefile obj) parse makefile (open input string obj) In order to implement the pretty printer we are using Bigloo regular parser [16]. This mechanism enables a lexical analysis of character strings. define (parse makefile port: input port ) read rp (regular grammar ( # # ( all) makefile comment (let ( cmt (the string) cons (it cmt) ignore) bol ( out t n: # : target (let ( prompt ....

Serrano, M. { Bigloo user's manual { 0169, INRIA-Rocquencourt, France, Dec, 1994.

....(e.g. C ) allow programs to contain inlining annotations. Rule 1 (inlining annotation) Let d be the definition of a function f ; a call to f is inlined if d has an inline annotation. Inlining annotations are useful to implement some parts of the source language (for instance, in Bigloo [12], our Scheme ML compiler, inlining annotations are used intensively in the libraries for accessing and mutating primitives like car, cdr, vector ref or vector set ) but cannot replace automatic inlining decisions. By contrast an automatic inlining decision algorithm can choose to inline a ....

M. Serrano. Bigloo user's manual. RT 0169, INRIA-Rocquencourt, France, December 1994.

....[14] or Modula 3 [3] allow programs to contain inlining annotations. Rule 1 (inlining annotation) Let d the definition of a function f ; a call to f is inlined if d contains inline annotation. Inlining annotations are useful to implementsome part of the source language (for instance, in Bigloo [10], our Scheme ML compiler, inlining annotations are intensively used in the libraries for accessor and mutator primitives like car, cdr, vector ref or vector set ) but cannot replace automatic inlining decision. An automatic inlining decision algorithm can choose to inline a function on a call ....

M. Serrano. Bigloo user's manual. RT 0169, INRIA-Rocquencourt, France, December 1994.

....Light byte code compiler. This trivially ensures full compatibility for the input source code. To gain efficiency, we just have to replace the byte code execution by machine code execution. Our optimizing compiler shares all the back end of a good optimizing compiler: the Bigloo Scheme compiler [13]. This ensures very fast code execution. In short, we obtain our new compiler from two existing compilers, hence the title of this paper. We simply connect the two compilers by plugging the output of the first one to the input of the second, in the spirit of Unix pipes. We slightly modify the ....

....macro expansion passes) Then we just have to invoke Bigloo to compile a Caml module. That s why the new compiler is named Bigloo as well, and since it automatically turns to Scheme compilation for a .scm file, the new compiler is a Caml and Scheme compiler. 3 The Bigloo Scheme compiler Bigloo [13, 16] is one of the best Scheme compilers available. It produces very efficient code via a Scheme to C translation. It uses many powerful techniques to optimize functional programs, such as 0cfa analysis [17, 14] open coding, common subexpressions elimination, optimized closure allocation, ....

M. Serrano, Bigloo user's manual, Technical Report, Inria, to appear.

No context found.

M. Serrano. Bigloo user's manual. Technical report 0169, INRIA-Rocquencourt, France, Dec. 1994.

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