Compiling flang

  • Andrei Mantsivoda
  • Vyacheslav Petukhin
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 641)


The problems of compilation of a functional-logic language Flang are considered. A new phase of compilation — global dataflow analysis — is discussed. It is shown that this phase can extremely improve the performance of a produced code. For some benchmarks a code which is produced by the Flang compiler has about the same speed as the speed of corresponding Pascal programs.


Global Analysis Algebraic Function Choice Point Prolog Program Native Code 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. [1]
    A.Mantsivoda. Flang: A Functional-Logic Language. Proc. of Int. conf on Processing Declarative Knowledge.-Kaiserslautern, July 1991.Google Scholar
  2. [2]
    D.H.D.Warren. An Abstract Prolog Instruction Set. Technical Note 309 SRI International, Menlo Park, CA, October 1983.Google Scholar
  3. [3]
    P. Van Hentenryck. Constraint Satisfaction in Logic Programming. The MIT Press, Cambridge, 1989.Google Scholar
  4. [4]
    H.Boley. A relational/functional Language and its Compilation into the WAM. SEKI Report SR-90-05, University of Kaiserslautern, 1990.Google Scholar
  5. [5]
    P.L.van Roy Can Logic Programming Execute as Fast as Imperative Programming? PhD Dissertation, University of California at Berkeley, November 1990.Google Scholar
  6. [6]
    A. Taylor High Performance Prolog Implementation. PhD. Dissertation, Basser Department of Computer Science, University of Sydney, June 1991.Google Scholar
  7. [7]
    D. Turner. An Overview of Miranda. SIGPLAN Notices, vol 21, No 12.Google Scholar
  8. [8]
    G. Janssens, B. Demoen, A. Marten. Improving the Register Allocation in WAM by Reordering Unification. Proc. 5th Int. Conf. Symp. Logic Programming, pp. 1388–1402, MIT Press, Cambridge, MA, 1988.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1992

Authors and Affiliations

  • Andrei Mantsivoda
    • 1
  • Vyacheslav Petukhin
    • 1
  1. 1.Department of MathematicsIrkutsk UniversityIrkutskRussia

Personalised recommendations