Raw File
Tip revision: ad58ae426e7e9200530d18bf439d02657503426c authored by fclement on 23 November 2010, 11:33 UTC
Ignore all generated files.
Tip revision: ad58ae4
File /users/formel2/dicosmo/ACADEMIC/Paperi/Miei/Parallelism/OcamlP3l/ocamlp3l.bib last modified on Wed Feb 11 15:33:46 1998.
@string{dip = "Department of Computer Science, University of Pisa (Italy)"}
@string{pfi = "Progetto Finalizzato Sistemi Informatici e Calcolo Parallelo, C.N.R. (Italy)"}
@string{psc = "Hewlett Packard Laboratories, Pisa Science Center (Italy)"}
@string{hpl = "Hewlett Packard Laboratories"}
@string{hp  = "Hewlett Packard"}

@string{toplas=    "ACM Transactions on Programming Languages and Systems"}
@string{cacm =     "Communications of the ACM"}
@string{sacm =     "ACM Computing Surveys"}
@string{lncs =     "Lecture Notes in Computer Science"}
@string{springer = "Springer-Verlag"}
@string{spe =      "Software Practice and Experience"}
@string{computer = "IEEE Computer"}
@string{IEEEtoc =  "IEEE Transactions on Computers"}
@string{IEEEtds =  "IEEE Transactions on Parallel and Distributed Systems"}
@string{IEEEtse =  "IEEE Transactions on Software Engineering"}
@string{jpdc=	   "Journal of Parallel and Distributed Computing"}
@string{siam-comp= "SIAM Journal on Computing"}
@string{tcs =      "Theoretical Computer Science"}

@string{lispconf = "Proceedings of the ACM Conference on LISP
	and Functional Programming"}
@string{aisca = "Proceedings of the Annual International
	Symposium on Computer Architecture (ACM--IEEE)"}

@string{jan = "January"}
@string{feb = "February"}
@string{mar = "March"}
@string{apr = "April"}
@string{may = "May"}
@string{jun = "June"}
@string{jul = "July"}
@string{aug = "August"}
@string{sep = "September"}
@string{oct = "October"}
@string{nov = "November"}
@string{dec = "December"}

        author="M. Cole",
        title="{Algorithmic Skeletons: Structured Management of Parallel
        series="Research Monographs in Parallel and 
	Distributed Computing"

 author      ="P. Au and J. Darlington and M. Ghanem and Y. Guo and
                  H.W. To and J. Yang",
 title       ="Co-ordinating Heterogeneous Parallel Computation",
 editor      ="L. Bouge and P. Fraigniaud and A. Mignotte and Y. Robert",
 booktitle   ="Europar '96",
 year        ="1996",
 publisher =springer,

        author = "Xavier Leroy and J\'er\^ome Vouillon and Damien Doligez",
        title =         "The {Objective} {Caml} system",
        year =          "1996",
       howpublished =  "Software and documentation available on the Web,

        author =        "Lawrence C. Paulson",
        title =         "{ML} for the working programmer",
        publisher =     "Cambridge University Press",
        year =          "1991"}

	author="R. S. Bird",
	title="An introduction to the {T}heory of {L}ists",
	booktitle="Logic of programming and calculi of discrete
	editor="Manfred Broy",
	organization="{NATO ASI} Series"

        author="T. Bratvold",
        title="Skeleton-Based Parallelisation of Functional Programs",
        school="Heriot-Watt University",
        year="1994"     }

	author="J. Darlington  and Y. Guo and H. W. To and J. Yang",
	title="{Parallel Skeletons for Structured Composition}",
	booktitle="Fifth ACM SIGPLAN Symposium on Principles and
		  Practice of Parallel Programming",
	publisher="ACM Press",
	month="July"	}

	author="J. Darlington  and Y. Guo and H. W. To and Q. Wu and
		  J. Yang and M. Kohler",
	title="{Fortran-S: A Uniform Functional Interface to Parallel
		  Imperative Languages}",
	booktitle="Third Parallel Computing Workshop (PCW'94)",
	publisher="Fujitsu Laboratories Ltd.",
	month="November"	}

	author="M. Danelutto and R. Di Meglio and S. Orlando and
	S. Pelagatti and M. Vanneschi",
	title="A methodology for the development and support of
	massively parallel programs",
	journal="Future Generation Computer Systems",
	publisher="North Holland",

	author="J. Darlington  and A. J. Field and P. G. Harrison and P. H. J. Kelly and D. W. N. Sharp and Q. Wu",
	title="{Parallel Programming Using Skeleton Functions}",
	note="LNCS No. 694"	}

	author="M.P.I.Forum ",
	title="{Document for a standard message-passing interface}",
	institution="University of Tennessee",
	month=nov	}

	author="B. Bacci  and M. Danelutto and S. Orlando and S.
	Pelagatti and M. Vanneschi",
	title = "{P$^3$L: A Structured High level programming
	language and its structured support}",
	volume = 7,
	year = 1995,
        journal = "Concurrency Practice and Experience",
	number = 3,
	pages = {225--255},
        month = may,

        author="D. B. Skillicorn and W. Cai ",
        title="A Cost Calculus for Parallel Functional Programming",
        journal= jpdc,

        author = "S. Pelagatti",
        title = "Structured development of parallel programs",
        publisher = "Taylor\&Francis",
        address = "London",
        year = 1998

        author="R. S. Bird",
        title="An introduction to the {T}heory of {L}ists",
        booktitle="Logic of programming and calculi of discrete
        editor="M. Broy",
        pages = "5--42",
        publisher = springer,
        address = springerind,
        series = "NATO ASI",
        volume ="F36",
        more="International Summer School directed by F. L.
        Bauer, M. Broy, E. W. Dijkstra and C. A. R. Hoare"

  author = 	 "S. Pelagatti",
  title = "{A methodology for the development and the support of
massively parallel programs}",
  institution = "Dept. of Computer Science -- Pisa",
  number = "TD-11/93",
  note = "PhD Thesis",
  year = 	 "1993"

  author = "Jocelyn Serot",
  title = "{Embodying parallel functional skeletons: an experimental
  implementation on top of MPI}",
  booktitle = "Proceedings of the EuroPar 97",
  note = "Passau, Germany",
  year = 1997,
  publisher = "Springer Verlag, LNCS No. 1300",
  monht = "August"

@inproceedings   {FournetGonthier96_rcham-join-calculus,
author       =   {C\'{e}dric Fournet and
                  Georges Gonthier},
title        =   {The Reflexive Chemical Abstract Machine 
                  and the Join-Calculus},
booktitle    =   "Proceedings of the 23rd ACM Symposium on
                  Principles of Programming Languages",
pages        =   "372--385",
publisher    =   "ACM",
address      =   "St. Petersburg Beach, Florida",
month        =   jan # " 21-24",
year         =   "1996"

        AUTHOR = {Knabe, F. C.},
        TITLE = {Language Support for Mobile Agents},
        SCHOOL = {School of Computer Science, Carnegie Mellon University},
        YEAR = {1995},
        NOTE = {CMU-CS-95-223; also published as Technical Report ECRC-95-36}

        TITLE = {The Join-Calculus language},
        AUTHOR = {Cedric Fournet and Luc Maranget},
        MONTH = jun,
        YEAR = {1997},
        NOTE = {Software and documentation available electronically, ({\tt http://pauil\\\-in})}
back to top