PFL

home1 home2
 Bib
 Algorithms
 Bioinfo
 FP
 Logic
 MML
 Prog.Lang
and the
 Book

FP (external)
FP (local)
 PFL
  Syntax
  Examples

Also see:
 λ-calculus
 Prolog
Semantics

The PFL interpreter, [e.g.], is based on the [λ-calculus] interpreter and was inspired by CCS and the original PFL[Hol83,Mit84].

PFL.p main, driver
lazy.D.P  
lazy.O.P binary ops
lazy.U.P unary ops
lazy.apply.P  
lazy.env.P  
lazy.eval.P  
lazy.exec.P set up the initial processes and start them running
lazy.mkval.P make values
lazy.show.P printing
lazy.type.P  
 
pfl.interact.P process interactions of complimentary pairs c!v->... and c?x->...
pfl.count.P count processes
lex.insym.P lexical
lex.type.P  
syntax.P parser
syntax.print.P  
syntax.type.P  

Example


The trace shows values exchanged over all channels. output is the standard output channel. The user's process is run in parallel (||) with the input process (not implemented) and the output process. If more than two processes remain at the end this may be because of deadlock.

References

  • [Mit84] K. Mitchell. A user's guide to PFL. Dept. of Computer Science, University of Edinburgh, 1984.
  • [Hol83] S. Holmstrom. PFL: a functional language for parallel programming and its implementation. Programming Methodology Group, University of Goteborg and Chalmers University of Technology, 1983.
  • Also search for one or more, but not too many, of [ pfl  pfp  ccs  csp  pi calculus ] in the [bibliography].
Coding Ockham's Razor, L. Allison, Springer

A Practical Introduction to Denotational Semantics, L. Allison, CUP

Linux
 Ubuntu
free op. sys.
OpenOffice
free office suite
The GIMP
~ free photoshop
Firefox
web browser

© L. Allison   http://www.allisons.org/ll/   (or as otherwise indicated),
Faculty of Information Technology (Clayton), Monash University, Australia 3800 (6/'05 was School of Computer Science and Software Engineering, Fac. Info. Tech., Monash University,
was Department of Computer Science, Fac. Comp. & Info. Tech., '89 was Department of Computer Science, Fac. Sci., '68-'71 was Department of Information Science, Fac. Sci.)
Created with "vi (Linux + Solaris)",  charset=iso-8859-1,  fetched Tuesday, 19-Mar-2024 16:41:36 AEDT.