https://gitorious.org/ocamlp3l/ocamlp3l_cvs.git
Tip revision: ad58ae426e7e9200530d18bf439d02657503426c authored by fclement on 23 November 2010, 11:33:06 UTC
Ignore all generated files.
Ignore all generated files.
Tip revision: ad58ae4
ocamlp3l.bib
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"}
@book{cole-th,
author="M. Cole",
title="{Algorithmic Skeletons: Structured Management of Parallel
Computations}",
publisher="Pitman",
year="1989",
series="Research Monographs in Parallel and
Distributed Computing"
}
@inproceedings{Darlington1996,
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",
pages="601--614",
publisher =springer,
}
@misc{Objective-Caml,
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,
\texttt{http://pauillac.inria.fr/ocaml/}"
}
@book{Paulson-working-ML,
author = "Lawrence C. Paulson",
title = "{ML} for the working programmer",
publisher = "Cambridge University Press",
year = "1991"}
@inproceedings{bird11,
author="R. S. Bird",
title="An introduction to the {T}heory of {L}ists",
booktitle="Logic of programming and calculi of discrete
design",
year=1987,
editor="Manfred Broy",
organization="{NATO ASI} Series"
}
@phdthesis{bratvold-thesis,
author="T. Bratvold",
title="Skeleton-Based Parallelisation of Functional Programs",
school="Heriot-Watt University",
year="1994" }
@inproceedings{darli-to-1,
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",
year="1995",
publisher="ACM Press",
month="July" }
@inproceedings{darli-to-2,
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)",
year="1994",
publisher="Fujitsu Laboratories Ltd.",
month="November" }
@article{fgcs-firenze,
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",
year=1992,
month=jul,
pages="205--220",
number="1--3",
volume=8
}
@inproceedings{ic-parle-93-1,
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}",
booktitle="PARLE'93",
year="1993",
pages="146--160",
publisher="Springer",
note="LNCS No. 694" }
@techreport{mpi,
author="M.P.I.Forum ",
title="{Document for a standard message-passing interface}",
institution="University of Tennessee",
year="1993",
number="CS-93-214",
month=nov }
@article{orlando-grosso,
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,
}
@article{skilli-cal-jpds,
author="D. B. Skillicorn and W. Cai ",
title="A Cost Calculus for Parallel Functional Programming",
journal= jpdc,
volume="28",
year="1995",
pages="65--83",
}
@book{libro-susi,
author = "S. Pelagatti",
title = "Structured development of parallel programs",
publisher = "Taylor\&Francis",
address = "London",
year = 1998
}
@incollection{bird1,
author="R. S. Bird",
title="An introduction to the {T}heory of {L}ists",
booktitle="Logic of programming and calculi of discrete
design",
year=1987,
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"
}
@techreport{tesi-susanna,
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"
}
@inproceedings{serot97,
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"
}
@PhdThesis{KnabePhD,
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}
}
@MANUAL{FournetMaranget_Join_calculus_language,
TITLE = {The Join-Calculus language},
AUTHOR = {Cedric Fournet and Luc Maranget},
ORGANIZATION = {INRIA},
MONTH = jun,
YEAR = {1997},
NOTE = {Software and documentation available electronically, ({\tt http://pauil\-lac.in\-ria.fr/jo\-in})}
}